「あの点火は収穫するけど立体派でない」ということは偽である
fact1: 「あの点火は収穫するし立体派である」ということは事実と異なる fact2: あの点火は立体派でない fact3: 仮にあの点火は立体派であるとすれば「それは救済措置である」ということは成り立つ fact4: 何らかの物が踏み分けるとすればそれは登録拒否だけれど愛し得ない fact5: あの点火は信仰深い一方で仲間らしいということはない fact6: 全ては救済措置でない fact7: すべては修復出来ない fact8: もし仮にあの十一時過ぎがデウスであるならばこの太陽光は救済措置だ fact9: 「あの約四十万人は収穫する一方でそれは槌でない」ということは偽だ fact10: もし仮にこの太陽光が救済措置であるとすればあの点火は踏み分ける fact11: もしも「あの点火は収穫するがしかしそれは立体派でない」ということは誤りであるとしたら救済措置である
void -> assump1: 以下のように仮定する。「あの点火は収穫するがしかし立体派でない」ということは誤りである; fact11 & assump1 -> int1: あの点火は救済措置である; fact6 -> int2: あの点火は救済措置でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの点火は登録拒否だ一方で愛し得ない
fact12 -> int4: あの点火が踏み分けるとすれば登録拒否だが愛し得ない;
$facts$ = fact1: 「あの点火は収穫するし立体派である」ということは事実と異なる fact2: あの点火は立体派でない fact3: 仮にあの点火は立体派であるとすれば「それは救済措置である」ということは成り立つ fact4: 何らかの物が踏み分けるとすればそれは登録拒否だけれど愛し得ない fact5: あの点火は信仰深い一方で仲間らしいということはない fact6: 全ては救済措置でない fact7: すべては修復出来ない fact8: もし仮にあの十一時過ぎがデウスであるならばこの太陽光は救済措置だ fact9: 「あの約四十万人は収穫する一方でそれは槌でない」ということは偽だ fact10: もし仮にこの太陽光が救済措置であるとすればあの点火は踏み分ける fact11: もしも「あの点火は収穫するがしかしそれは立体派でない」ということは誤りであるとしたら救済措置である ; $hypothesis$ = 「あの点火は収穫するけど立体派でない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの点火は収穫するがしかし立体派でない」ということは誤りである; fact11 & assump1 -> int1: あの点火は救済措置である; fact6 -> int2: あの点火は救済措置でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「あの点火は収穫するし立体派である」ということは事実と異なる
事実2: あの点火は立体派でない
事実3: 仮にあの点火は立体派であるとすれば「それは救済措置である」ということは成り立つ
事実4: 何らかの物が踏み分けるとすればそれは登録拒否だけれど愛し得ない
事実5: あの点火は信仰深い一方で仲間らしいということはない
事実6: 全ては救済措置でない
事実7: すべては修復出来ない
事実8: もし仮にあの十一時過ぎがデウスであるならばこの太陽光は救済措置だ
事実9: 「あの約四十万人は収穫する一方でそれは槌でない」ということは偽だ
事実10: もし仮にこの太陽光が救済措置であるとすればあの点火は踏み分ける
事実11: もしも「あの点火は収穫するがしかしそれは立体派でない」ということは誤りであるとしたら救済措置である

仮説: 「あの点火は収穫するけど立体派でない」ということは偽である
1. 仮定1: 以下のように仮定する。「あの点火は収穫するがしかし立体派でない」ということは誤りである
2. 事実11と仮定1から、推論1: "あの点火は救済措置である"が導かれる
3. 事実6から、推論2: "あの点火は救済措置でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。