「もしもあの公機が塗れるとするとあの公機は結わくけれどそれは割り解すということはない」ということは偽である
fact1: もしもなんらかのものが塗れるとしたら結わくがしかし割り解さない
$facts$ = fact1: もしもなんらかのものが塗れるとしたら結わくがしかし割り解さない ; $hypothesis$ = 「もしもあの公機が塗れるとするとあの公機は結わくけれどそれは割り解すということはない」ということは偽である ; $proof$ = 
事実1: もしもなんらかのものが塗れるとしたら結わくがしかし割り解さない

仮説: 「もしもあの公機が塗れるとするとあの公機は結わくけれどそれは割り解すということはない」ということは偽である