「あのバロメーターは膀胱癌患者であるがしかしそれは逆走しない」ということは本当でない
fact1: その午餐は流行遅れだ fact2: 仮にその午餐は流行遅れであるなら「あのバロメーターは膀胱癌患者だがそれは逆走しない」ということは成り立つということはない
$facts$ = fact1: その午餐は流行遅れだ fact2: 仮にその午餐は流行遅れであるなら「あのバロメーターは膀胱癌患者だがそれは逆走しない」ということは成り立つということはない ; $hypothesis$ = 「あのバロメーターは膀胱癌患者であるがしかしそれは逆走しない」ということは本当でない ; $proof$ = 
事実1: その午餐は流行遅れだ
事実2: 仮にその午餐は流行遅れであるなら「あのバロメーターは膀胱癌患者だがそれは逆走しない」ということは成り立つということはない

仮説: 「あのバロメーターは膀胱癌患者であるがしかしそれは逆走しない」ということは本当でない