この自由曲面は固まり掛ける
fact1: 仮に「この自由曲面は立岩Ｋであるがイラク戦争でない」ということは成り立たないなら固まり掛けるということはない fact2: 「この自由曲面は立岩Ｋだがしかしイラク戦争でない」ということは事実と異なる
$facts$ = fact1: 仮に「この自由曲面は立岩Ｋであるがイラク戦争でない」ということは成り立たないなら固まり掛けるということはない fact2: 「この自由曲面は立岩Ｋだがしかしイラク戦争でない」ということは事実と異なる ; $hypothesis$ = この自由曲面は固まり掛ける ; $proof$ = 
事実1: 仮に「この自由曲面は立岩Ｋであるがイラク戦争でない」ということは成り立たないなら固まり掛けるということはない
事実2: 「この自由曲面は立岩Ｋだがしかしイラク戦争でない」ということは事実と異なる

仮説: この自由曲面は固まり掛ける