このデイトは第一級でない
fact1: 「あの結び方は中国四川料理であるかあるいは吐き切らない」ということは事実と異なる fact2: 仮に「あの結び方は中国四川料理であるかあるいは吐き切らない」ということは成り立たないとするとこのデイトは第一級だ
$facts$ = fact1: 「あの結び方は中国四川料理であるかあるいは吐き切らない」ということは事実と異なる fact2: 仮に「あの結び方は中国四川料理であるかあるいは吐き切らない」ということは成り立たないとするとこのデイトは第一級だ ; $hypothesis$ = このデイトは第一級でない ; $proof$ = 
事実1: 「あの結び方は中国四川料理であるかあるいは吐き切らない」ということは事実と異なる
事実2: 仮に「あの結び方は中国四川料理であるかあるいは吐き切らない」ということは成り立たないとするとこのデイトは第一級だ

仮説: このデイトは第一級でない