あの心身両面は手描きである
fact1: もしあの第二海堡がちっちゃくないならばその光ケーブルは仰々しくない fact2: もしあの第二海堡が平原君でないとすればその光ケーブルはちっちゃい fact3: もし仮にその光ケーブルがちっちゃくないとしたらあの心身両面は仰々しいしそれに平原君である fact4: あの第二海堡は想定以上でないかちっちゃくないかあるいはどちらもだ fact5: 「あの食道気管支瘻は開局するけれど反作用しない」ということは事実と異なるとすれば酷似する fact6: もしその此れ等組織が窄むとしたらそれは秘さない一方で道化芝居だ fact7: 仮にその光ケーブルは想定以上でないならば「あの心身両面は仰々しいけれどちっちゃいということはない」ということは誤っている fact8: もしもあの第二海堡が想定以上でないとしたらその光ケーブルは仰々しくない fact9: その光ケーブルは想定以上だということはないかもしくはそれは平原君でない fact10: もしあの心身両面が平原君ならば手描きだ fact11: もし仮にあの第二海堡がちっちゃいということはないとするとその光ケーブルは仰々しい fact12: もしもあの心身両面が手描きならばあの光ケーブルは平原君だ fact13: もし仮に何かは平原君であるとすればそれは手描きである fact14: もしその此れ等組織が秘さないならばあの食道気管支瘻は呪わしいということはない fact15: その此れ等組織は窄む fact16: もし仮にとある物は呪わしいということはないとしたら「開局するし反作用しない」ということは事実と異なる fact17: もしその光ケーブルは平原君であるならばそれは仰々しい fact18: もし仮にあの第二海堡が訝しいということはないけど想定以上であるとすればあの光ケーブルは想定以上でない
void -> assump1: 以下のように仮定する。あの心身両面は手描きである; fact12 & assump1 -> int1: その光ケーブルは平原君である; int1 & fact17 -> int2: その光ケーブルは仰々しい; fact4 & fact1 & fact8 -> int3: その光ケーブルは仰々しくない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの心身両面は手描きだ
fact21 -> int5: もしあの心身両面は平原君であるなら手描きである; fact24 -> int6: もし仮に「あの食道気管支瘻は呪わしくない」ということは成り立つとすれば「開局する一方で反作用するということはない」ということは成り立たない; fact25 & fact20 -> int7: その此れ等組織は秘さないけど道化芝居である; int7 -> int8: 「その此れ等組織は秘さない」ということは確かだ; fact23 & int8 -> int9: あの食道気管支瘻は呪わしくない; int6 & int9 -> int10: 「「あの食道気管支瘻は開局するがしかしそれは反作用するということはない」ということは正しい」ということは間違っている; fact22 & int10 -> int11: あの食道気管支瘻は酷似する; int11 -> int12: 「酷似する」物はある;
$facts$ = fact1: もしあの第二海堡がちっちゃくないならばその光ケーブルは仰々しくない fact2: もしあの第二海堡が平原君でないとすればその光ケーブルはちっちゃい fact3: もし仮にその光ケーブルがちっちゃくないとしたらあの心身両面は仰々しいしそれに平原君である fact4: あの第二海堡は想定以上でないかちっちゃくないかあるいはどちらもだ fact5: 「あの食道気管支瘻は開局するけれど反作用しない」ということは事実と異なるとすれば酷似する fact6: もしその此れ等組織が窄むとしたらそれは秘さない一方で道化芝居だ fact7: 仮にその光ケーブルは想定以上でないならば「あの心身両面は仰々しいけれどちっちゃいということはない」ということは誤っている fact8: もしもあの第二海堡が想定以上でないとしたらその光ケーブルは仰々しくない fact9: その光ケーブルは想定以上だということはないかもしくはそれは平原君でない fact10: もしあの心身両面が平原君ならば手描きだ fact11: もし仮にあの第二海堡がちっちゃいということはないとするとその光ケーブルは仰々しい fact12: もしもあの心身両面が手描きならばあの光ケーブルは平原君だ fact13: もし仮に何かは平原君であるとすればそれは手描きである fact14: もしその此れ等組織が秘さないならばあの食道気管支瘻は呪わしいということはない fact15: その此れ等組織は窄む fact16: もし仮にとある物は呪わしいということはないとしたら「開局するし反作用しない」ということは事実と異なる fact17: もしその光ケーブルは平原君であるならばそれは仰々しい fact18: もし仮にあの第二海堡が訝しいということはないけど想定以上であるとすればあの光ケーブルは想定以上でない ; $hypothesis$ = あの心身両面は手描きである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの心身両面は手描きである; fact12 & assump1 -> int1: その光ケーブルは平原君である; int1 & fact17 -> int2: その光ケーブルは仰々しい; fact4 & fact1 & fact8 -> int3: その光ケーブルは仰々しくない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしあの第二海堡がちっちゃくないならばその光ケーブルは仰々しくない
事実2: もしあの第二海堡が平原君でないとすればその光ケーブルはちっちゃい
事実3: もし仮にその光ケーブルがちっちゃくないとしたらあの心身両面は仰々しいしそれに平原君である
事実4: あの第二海堡は想定以上でないかちっちゃくないかあるいはどちらもだ
事実5: 「あの食道気管支瘻は開局するけれど反作用しない」ということは事実と異なるとすれば酷似する
事実6: もしその此れ等組織が窄むとしたらそれは秘さない一方で道化芝居だ
事実7: 仮にその光ケーブルは想定以上でないならば「あの心身両面は仰々しいけれどちっちゃいということはない」ということは誤っている
事実8: もしもあの第二海堡が想定以上でないとしたらその光ケーブルは仰々しくない
事実9: その光ケーブルは想定以上だということはないかもしくはそれは平原君でない
事実10: もしあの心身両面が平原君ならば手描きだ
事実11: もし仮にあの第二海堡がちっちゃいということはないとするとその光ケーブルは仰々しい
事実12: もしもあの心身両面が手描きならばあの光ケーブルは平原君だ
事実13: もし仮に何かは平原君であるとすればそれは手描きである
事実14: もしその此れ等組織が秘さないならばあの食道気管支瘻は呪わしいということはない
事実15: その此れ等組織は窄む
事実16: もし仮にとある物は呪わしいということはないとしたら「開局するし反作用しない」ということは事実と異なる
事実17: もしその光ケーブルは平原君であるならばそれは仰々しい
事実18: もし仮にあの第二海堡が訝しいということはないけど想定以上であるとすればあの光ケーブルは想定以上でない

仮説: あの心身両面は手描きである
1. 仮定1: 以下のように仮定する。あの心身両面は手描きである
2. 事実12と仮定1から、推論1: "その光ケーブルは平原君である"が導かれる
3. 推論1と事実17から、推論2: "その光ケーブルは仰々しい"が導かれる
4. 事実4と事実1と事実8から、推論3: "その光ケーブルは仰々しくない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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