あのＡＫ毒素は在任する
fact1: もしもその社則が三大グループであるということはないとするとあのＡＫ毒素は三大グループでないがしかし堆い fact2: この三角筋は堆くなくてその上それは着熟さない fact3: その社則は着熟さない fact4: 「もし仮にこの三角筋が堆くないとすればその社則は堆くないけれどコウ本だ」ということは本当である fact5: もしもあの文化行政が行進しないならばあの改善策は知っ得であるが誘拐しない fact6: その社則はコウ本だ fact7: とあるものが三大グループならあのＣＲ装置はコウ本であるかあるいは三大グループだ fact8: その製造業は堆くない fact9: もし仮に「何らかのものは馬鹿らしくないけれどＭＰＵだ」ということは事実と異なればそれは行進しない fact10: その改善策が知っ得であるならばこの三号線は知っ得である fact11: もし仮にその社則は堆いとしたら「この三角筋は在任しなくてしかも着熟さない」ということは成り立たない fact12: この三角筋が堆くないとすればその社則はコウ本である fact13: 「あのＡＫ毒素は在任するがしかしそれは三大グループでない」ということは間違いである fact14: あの文化行政は及び難いということはない fact15: 仮に「この三角筋は在任するということはないし更に着熟すということはない」ということは嘘であるならあのＡＫ毒素は在任する fact16: 仮に何らかのものは及び難いということはないなら「馬鹿らしくないし更にＭＰＵである」ということは事実と異なる fact17: もしもこの三号線が落選するとすれば三大グループだ fact18: もし仮にその社則が堆くないコウ本ならあのＡＫ毒素は三大グループでない fact19: もしこの三角筋が在任するということはないならあのＡＫ毒素は在任しないがしかしそれは着熟す fact20: この三角筋は着熟さない fact21: この三角筋は弾き出さないけど劈く fact22: もしも「ある物は知っ得だ」ということは真実ならそれは落選する
fact2 -> int1: この三角筋は堆くない; int1 & fact4 -> int2: その社則は堆くないがそれはコウ本である; int2 & fact18 -> int3: あのＡＫ毒素は三大グループでない; void -> assump1: 以下のように仮定する。あのＡＫ毒素は在任する; int3 & assump1 -> int4: あのＡＫ毒素は在任するが三大グループでない; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
「あのＡＫ毒素は在任する」ということは事実だ
fact24 -> int6: 仮にこの三号線が知っ得だとしたら落選する; fact30 -> int7: もし「あの文化行政は馬鹿らしくないがしかしそれはＭＰＵだ」ということは間違いであるとすればそれは行進するということはない; fact23 -> int8: 「あの文化行政は及び難くない」ということは正しいとしたら「それは馬鹿らしくないけどＭＰＵである」ということは成り立たない; int8 & fact32 -> int9: 「あの文化行政は馬鹿らしくないがしかしＭＰＵである」ということは嘘だ; int7 & int9 -> int10: あの文化行政は行進しない; fact29 & int10 -> int11: その改善策は知っ得だけれど誘拐しない; int11 -> int12: その改善策は知っ得である; fact28 & int12 -> int13: この三号線は知っ得だ; int6 & int13 -> int14: この三号線は落選する; fact27 & int14 -> int15: この三号線は三大グループである; int15 -> int16: 「「三大グループだ」ということは成り立つ」ものはある; int16 & fact26 -> int17: あのＣＲ装置はコウ本であるか三大グループであるかまたは両方ともだ;
$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$ = 
fact2 -> int1: この三角筋は堆くない; int1 & fact4 -> int2: その社則は堆くないがそれはコウ本である; int2 & fact18 -> int3: あのＡＫ毒素は三大グループでない; void -> assump1: 以下のように仮定する。あのＡＫ毒素は在任する; int3 & assump1 -> int4: あのＡＫ毒素は在任するが三大グループでない; int4 & fact13 -> int5: これは矛盾である; [assump1] & int5 -> 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. 事実2から、推論1: "この三角筋は堆くない"が導かれる
2. 推論1と事実4から、推論2: "その社則は堆くないがそれはコウ本である"が導かれる
3. 推論2と事実18から、推論3: "あのＡＫ毒素は三大グループでない"が導かれる
4. 仮定1: 以下のように仮定する。あのＡＫ毒素は在任する
5. 推論3と仮定1から、推論4: "あのＡＫ毒素は在任するが三大グループでない"が導かれる
6. 推論4と事実13から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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