この堤防上は四十四調だということはない
fact1: その虚無感は四十四調でない fact2: もしなにかは空間的位置だとするとそれは四十四調だ fact3: 「入り難くなくてまた壊れ難い」ものはある fact4: もしもあの交通ルールが書き易いとしたらこの堤防上は書き易い fact5: 「「入り難くないけれど壊れ難い」ということは成り立たない」ものはある fact6: 「「入り難いということはないし壊れ難い」ということは成り立たない」ものがあるならこの堤防上は四十四調でない fact7: 何かは方違えだということはないならそれは直交するしさらに許し難い fact8: もしも「あの到達前は売り払わないけれど方違えである」ということは事実と異なるとしたらそれは方違えでない fact9: 「「入り難くて壊れ難い」ということは成り立たない」物はある fact10: とろくないものは書き易いしその上合流する fact11: もし何かは書き易いとしたら空間的位置である fact12: 仮にあの到達前は炭水化物でないとしたら「それは売り払わないがしかし方違えである」ということは間違っている fact13: もしもなんらかのものが壊れ難くないならこの堤防上は四十四調でない fact14: もしもあの到達前が直交するし許し難いとしたらあの交通ルールはとろくない
fact5 & fact6 -> hypothesis;
fact5 & fact6 -> hypothesis;
この堤防上は四十四調だ
fact18 -> int1: 仮にこの堤防上が空間的位置だとすれば四十四調である; fact17 -> int2: 仮に「この堤防上は書き易い」ということは真実であるとしたら空間的位置だ; fact16 -> int3: 仮にあの交通ルールがとろいということはないとすると書き易いし合流する; fact15 -> int4: あの到達前が方違えだということはないとすればそれは直交するししかも許し難い;
$facts$ = fact1: その虚無感は四十四調でない fact2: もしなにかは空間的位置だとするとそれは四十四調だ fact3: 「入り難くなくてまた壊れ難い」ものはある fact4: もしもあの交通ルールが書き易いとしたらこの堤防上は書き易い fact5: 「「入り難くないけれど壊れ難い」ということは成り立たない」ものはある fact6: 「「入り難いということはないし壊れ難い」ということは成り立たない」ものがあるならこの堤防上は四十四調でない fact7: 何かは方違えだということはないならそれは直交するしさらに許し難い fact8: もしも「あの到達前は売り払わないけれど方違えである」ということは事実と異なるとしたらそれは方違えでない fact9: 「「入り難くて壊れ難い」ということは成り立たない」物はある fact10: とろくないものは書き易いしその上合流する fact11: もし何かは書き易いとしたら空間的位置である fact12: 仮にあの到達前は炭水化物でないとしたら「それは売り払わないがしかし方違えである」ということは間違っている fact13: もしもなんらかのものが壊れ難くないならこの堤防上は四十四調でない fact14: もしもあの到達前が直交するし許し難いとしたらあの交通ルールはとろくない ; $hypothesis$ = この堤防上は四十四調だということはない ; $proof$ = 
fact5 & fact6 -> hypothesis; __PROVED__
事実1: その虚無感は四十四調でない
事実2: もしなにかは空間的位置だとするとそれは四十四調だ
事実3: 「入り難くなくてまた壊れ難い」ものはある
事実4: もしもあの交通ルールが書き易いとしたらこの堤防上は書き易い
事実5: 「「入り難くないけれど壊れ難い」ということは成り立たない」ものはある
事実6: 「「入り難いということはないし壊れ難い」ということは成り立たない」ものがあるならこの堤防上は四十四調でない
事実7: 何かは方違えだということはないならそれは直交するしさらに許し難い
事実8: もしも「あの到達前は売り払わないけれど方違えである」ということは事実と異なるとしたらそれは方違えでない
事実9: 「「入り難くて壊れ難い」ということは成り立たない」物はある
事実10: とろくないものは書き易いしその上合流する
事実11: もし何かは書き易いとしたら空間的位置である
事実12: 仮にあの到達前は炭水化物でないとしたら「それは売り払わないがしかし方違えである」ということは間違っている
事実13: もしもなんらかのものが壊れ難くないならこの堤防上は四十四調でない
事実14: もしもあの到達前が直交するし許し難いとしたらあの交通ルールはとろくない

仮説: この堤防上は四十四調だということはない
1. 事実5と事実6から、仮説が導かれる

よって、仮説が証明されました。