表せないから、 a is T || b is U かなと思うんですよ。 a is T が成り立ったたら、 || の後ろは判定できませんよね。