「そのルートは御飲みに成らない」ということは確かである
fact1: もし仮にあの徴兵は入島でないとすると「そのルートは重ね付けするしそれにそれはすっごーい」ということは間違いだ fact2: その初来日が重ね付けしないならあの徴兵は抉り取る fact3: 「その近在は抉り取るけどそれは反応型でない」ということは誤っているならばあの初来日はすっごーい fact4: そのルートは近しが東京公証人会報でない fact5: その初来日は反応型だししかも抉り取る fact6: もしなにがしかの物は重ね付けするとすると「反応型である」ということは確かである fact7: その近在はすっごーくない fact8: 「もしも何らかの物は抉り取らないとすれば「それは入島であるしその上反応型である」ということは誤りだ」ということは確かである fact9: もしもその近在がすっごーくないけど入島ならその初来日は反応型でない fact10: そのルートは反応型である fact11: もし仮に皮肉っぽくない物が幼くないとすればその近在は抉り取らない fact12: 「そのルートは抉り取らない」ということは成り立たない fact13: もしもあの写真家が人恋しいということはないならこの肉食獣は新学年だ fact14: この肉食獣は新学年であるなら「あの妙手は飲み易い」ということは確かである fact15: 「この大土塁は抉り取る」ということは成り立つ fact16: もし仮に「ある物は重ね付けするし加えてすっごーい」ということは偽だとすればそれは御飲みに成らない fact17: 「「狙い澄ますがしかし吐き終わるということはない」ということは間違いな」物はある fact18: あの徴兵はレッドカレーである fact19: もしも「飲み易い」物があるとすればあの初来日が皮肉っぽいということはないしその上幼くない fact20: 仮にあの徴兵がすっごーいということはないとすればその近在はすっごーくない一方で入島だ fact21: もしも「「あの徴兵は重ね付けするけれどすっごーいない」ということは事実と異なる」ということは嘘でないならばそのルートは御飲みに成る fact22: もし仮に「「狙い澄ますがしかし吐き終わらない」ということは間違っている」物があるとするとあの写真家は人恋しくない
void -> assump1: 以下のように仮定する。あの徴兵は重ね付けする一方ですっごーくない; assump1 -> int1: あの徴兵はすっごーくない; int1 & fact20 -> int2: その近在はすっごーくないが入島である; int2 & fact9 -> int3: その初来日は反応型でない; fact5 -> int4: その初来日は反応型だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの徴兵が重ね付けするけどすっごーいということはない」ということは事実と異なる; int6 & fact21 -> hypothesis;
その一次部品企業は反応型である
fact23 -> int7: もし仮にその一次部品企業が重ね付けするならそれは反応型である;
$facts$ = fact1: もし仮にあの徴兵は入島でないとすると「そのルートは重ね付けするしそれにそれはすっごーい」ということは間違いだ fact2: その初来日が重ね付けしないならあの徴兵は抉り取る fact3: 「その近在は抉り取るけどそれは反応型でない」ということは誤っているならばあの初来日はすっごーい fact4: そのルートは近しが東京公証人会報でない fact5: その初来日は反応型だししかも抉り取る fact6: もしなにがしかの物は重ね付けするとすると「反応型である」ということは確かである fact7: その近在はすっごーくない fact8: 「もしも何らかの物は抉り取らないとすれば「それは入島であるしその上反応型である」ということは誤りだ」ということは確かである fact9: もしもその近在がすっごーくないけど入島ならその初来日は反応型でない fact10: そのルートは反応型である fact11: もし仮に皮肉っぽくない物が幼くないとすればその近在は抉り取らない fact12: 「そのルートは抉り取らない」ということは成り立たない fact13: もしもあの写真家が人恋しいということはないならこの肉食獣は新学年だ fact14: この肉食獣は新学年であるなら「あの妙手は飲み易い」ということは確かである fact15: 「この大土塁は抉り取る」ということは成り立つ fact16: もし仮に「ある物は重ね付けするし加えてすっごーい」ということは偽だとすればそれは御飲みに成らない fact17: 「「狙い澄ますがしかし吐き終わるということはない」ということは間違いな」物はある fact18: あの徴兵はレッドカレーである fact19: もしも「飲み易い」物があるとすればあの初来日が皮肉っぽいということはないしその上幼くない fact20: 仮にあの徴兵がすっごーいということはないとすればその近在はすっごーくない一方で入島だ fact21: もしも「「あの徴兵は重ね付けするけれどすっごーいない」ということは事実と異なる」ということは嘘でないならばそのルートは御飲みに成る fact22: もし仮に「「狙い澄ますがしかし吐き終わらない」ということは間違っている」物があるとするとあの写真家は人恋しくない ; $hypothesis$ = 「そのルートは御飲みに成らない」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの徴兵は重ね付けする一方ですっごーくない; assump1 -> int1: あの徴兵はすっごーくない; int1 & fact20 -> int2: その近在はすっごーくないが入島である; int2 & fact9 -> int3: その初来日は反応型でない; fact5 -> int4: その初来日は反応型だ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「あの徴兵が重ね付けするけどすっごーいということはない」ということは事実と異なる; int6 & fact21 -> hypothesis; __DISPROVED__
事実1: もし仮にあの徴兵は入島でないとすると「そのルートは重ね付けするしそれにそれはすっごーい」ということは間違いだ
事実2: その初来日が重ね付けしないならあの徴兵は抉り取る
事実3: 「その近在は抉り取るけどそれは反応型でない」ということは誤っているならばあの初来日はすっごーい
事実4: そのルートは近しが東京公証人会報でない
事実5: その初来日は反応型だししかも抉り取る
事実6: もしなにがしかの物は重ね付けするとすると「反応型である」ということは確かである
事実7: その近在はすっごーくない
事実8: 「もしも何らかの物は抉り取らないとすれば「それは入島であるしその上反応型である」ということは誤りだ」ということは確かである
事実9: もしもその近在がすっごーくないけど入島ならその初来日は反応型でない
事実10: そのルートは反応型である
事実11: もし仮に皮肉っぽくない物が幼くないとすればその近在は抉り取らない
事実12: 「そのルートは抉り取らない」ということは成り立たない
事実13: もしもあの写真家が人恋しいということはないならこの肉食獣は新学年だ
事実14: この肉食獣は新学年であるなら「あの妙手は飲み易い」ということは確かである
事実15: 「この大土塁は抉り取る」ということは成り立つ
事実16: もし仮に「ある物は重ね付けするし加えてすっごーい」ということは偽だとすればそれは御飲みに成らない
事実17: 「「狙い澄ますがしかし吐き終わるということはない」ということは間違いな」物はある
事実18: あの徴兵はレッドカレーである
事実19: もしも「飲み易い」物があるとすればあの初来日が皮肉っぽいということはないしその上幼くない
事実20: 仮にあの徴兵がすっごーいということはないとすればその近在はすっごーくない一方で入島だ
事実21: もしも「「あの徴兵は重ね付けするけれどすっごーいない」ということは事実と異なる」ということは嘘でないならばそのルートは御飲みに成る
事実22: もし仮に「「狙い澄ますがしかし吐き終わらない」ということは間違っている」物があるとするとあの写真家は人恋しくない

仮説: 「そのルートは御飲みに成らない」ということは確かである
1. 仮定1: 以下のように仮定する。あの徴兵は重ね付けする一方ですっごーくない
2. 仮定1から、推論1: "あの徴兵はすっごーくない"が導かれる
3. 推論1と事実20から、推論2: "その近在はすっごーくないが入島である"が導かれる
4. 推論2と事実9から、推論3: "その初来日は反応型でない"が導かれる
5. 事実5から、推論4: "その初来日は反応型だ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「あの徴兵が重ね付けするけどすっごーいということはない」ということは事実と異なる"が導かれる
8. 推論6と事実21から、仮説が否定される

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