この反戦歌はちびる
fact1: もし「この反戦歌はλツーである」ということは嘘でないとしたらちびる fact2: この反戦歌はλツーである
$facts$ = fact1: もし「この反戦歌はλツーである」ということは嘘でないとしたらちびる fact2: この反戦歌はλツーである ; $hypothesis$ = この反戦歌はちびる ; $proof$ = 
事実1: もし「この反戦歌はλツーである」ということは嘘でないとしたらちびる
事実2: この反戦歌はλツーである

仮説: この反戦歌はちびる