この文法的影響は促さない
fact1: そのＡＣＲＳは二十二日条であるしそれにそれは辛抱出来る fact2: 「そのＡＣＲＳは促さないしそれに休戦しない」ということは間違いだ fact3: もしもなにがしかの物がくぐもるとすれば休戦しない fact4: そのＡＣＲＳがくぐもるならそれは休戦するということはない fact5: もしそのＡＣＲＳが放浪すればこの文法的影響は促す fact6: この短冊布はくぐもらない fact7: あのＩＶＣＴは断続するしまた休戦する fact8: 「仮にそのＡＣＲＳは二十二日条であるならば「この文法的影響は放浪しない」ということは成り立たない」ということは本当だ fact9: あのＩＶＣＴは放浪する fact10: もし「そのＡＣＲＳは放浪する」ということは確かであるとすればこの文法的影響は放浪する fact11: もしも「とあるものは辛抱出来るし更にそれは二十二日条だ」ということは成り立たないならそれは促さない fact12: 「二十二日条な」ものがあればそのＡＣＲＳは放浪するかそれは二十二日条であるかもしくは両方ともだ fact13: 仮になんらかのものが休戦しないとしたらそれはくぐもらない fact14: もしも「その二十九日発行は断続するがしかし促すということはない」ということは嘘であるとするとあのＩＶＣＴは休戦しない fact15: もしもそのＡＣＲＳが断続するかそれが休戦するとすれば促さない fact16: あのＩＶＣＴは断続する fact17: あのＩＶＣＴは辛抱出来るかあるいはそれは断続する fact18: もし仮に「休戦する」物はあるとすると「そのＡＣＲＳは休戦しなくて放浪しない」ということは嘘だ fact19: そのＡＣＲＳは二十二日条だ fact20: 仮になにがしかの物が辛抱出来るかあるいはくぐもるかまたはどちらもであるとすればそれは休戦しない fact21: もし仮にそのライン管理職者が正倉院薬物だということはないとすると急転回するがしかし出し難くない fact22: もしそのライン管理職者が急転回するけどそれが出し難くないならばあの退職金協定は急転回しない fact23: そのライン管理職者は正倉院薬物でない fact24: その秋刀魚はキー入力するし御説き下さる
fact1 -> int1: そのＡＣＲＳは辛抱出来る; int1 -> int2: そのＡＣＲＳは辛抱出来るかくぐもるかあるいは両方である; fact20 -> int3: もしもそのＡＣＲＳが辛抱出来るかあるいはくぐもるならそれは休戦しない; int2 & int3 -> int4: そのＡＣＲＳは休戦しない; void -> assump1: 以下のように仮定する。そのＡＣＲＳは放浪しない; int4 & assump1 -> int5: そのＡＣＲＳは休戦しなくておまけに放浪しない; fact7 -> int6: あのＩＶＣＴは休戦する; int6 -> int7: 「ある物は休戦する」ということは事実である; int7 & fact18 -> int8: 「そのＡＣＲＳは休戦しなくてそれにそれは放浪しない」ということは偽である; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: そのＡＣＲＳは放浪する; int10 & fact5 -> hypothesis;
この文法的影響は放浪する
fact26 -> int11: もし仮にあのＩＶＣＴが休戦するということはないならばくぐもらない; fact31 & fact28 -> int12: 「そのライン管理職者は急転回するけどそれは出し難くない」ということは成り立つ; fact30 & int12 -> int13: あの退職金協定は急転回しない; int13 -> int14: なんらかのものは急転回しない;
$facts$ = fact1: そのＡＣＲＳは二十二日条であるしそれにそれは辛抱出来る fact2: 「そのＡＣＲＳは促さないしそれに休戦しない」ということは間違いだ fact3: もしもなにがしかの物がくぐもるとすれば休戦しない fact4: そのＡＣＲＳがくぐもるならそれは休戦するということはない fact5: もしそのＡＣＲＳが放浪すればこの文法的影響は促す fact6: この短冊布はくぐもらない fact7: あのＩＶＣＴは断続するしまた休戦する fact8: 「仮にそのＡＣＲＳは二十二日条であるならば「この文法的影響は放浪しない」ということは成り立たない」ということは本当だ fact9: あのＩＶＣＴは放浪する fact10: もし「そのＡＣＲＳは放浪する」ということは確かであるとすればこの文法的影響は放浪する fact11: もしも「とあるものは辛抱出来るし更にそれは二十二日条だ」ということは成り立たないならそれは促さない fact12: 「二十二日条な」ものがあればそのＡＣＲＳは放浪するかそれは二十二日条であるかもしくは両方ともだ fact13: 仮になんらかのものが休戦しないとしたらそれはくぐもらない fact14: もしも「その二十九日発行は断続するがしかし促すということはない」ということは嘘であるとするとあのＩＶＣＴは休戦しない fact15: もしもそのＡＣＲＳが断続するかそれが休戦するとすれば促さない fact16: あのＩＶＣＴは断続する fact17: あのＩＶＣＴは辛抱出来るかあるいはそれは断続する fact18: もし仮に「休戦する」物はあるとすると「そのＡＣＲＳは休戦しなくて放浪しない」ということは嘘だ fact19: そのＡＣＲＳは二十二日条だ fact20: 仮になにがしかの物が辛抱出来るかあるいはくぐもるかまたはどちらもであるとすればそれは休戦しない fact21: もし仮にそのライン管理職者が正倉院薬物だということはないとすると急転回するがしかし出し難くない fact22: もしそのライン管理職者が急転回するけどそれが出し難くないならばあの退職金協定は急転回しない fact23: そのライン管理職者は正倉院薬物でない fact24: その秋刀魚はキー入力するし御説き下さる ; $hypothesis$ = この文法的影響は促さない ; $proof$ = 
fact1 -> int1: そのＡＣＲＳは辛抱出来る; int1 -> int2: そのＡＣＲＳは辛抱出来るかくぐもるかあるいは両方である; fact20 -> int3: もしもそのＡＣＲＳが辛抱出来るかあるいはくぐもるならそれは休戦しない; int2 & int3 -> int4: そのＡＣＲＳは休戦しない; void -> assump1: 以下のように仮定する。そのＡＣＲＳは放浪しない; int4 & assump1 -> int5: そのＡＣＲＳは休戦しなくておまけに放浪しない; fact7 -> int6: あのＩＶＣＴは休戦する; int6 -> int7: 「ある物は休戦する」ということは事実である; int7 & fact18 -> int8: 「そのＡＣＲＳは休戦しなくてそれにそれは放浪しない」ということは偽である; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: そのＡＣＲＳは放浪する; int10 & fact5 -> hypothesis; __DISPROVED__
事実1: そのＡＣＲＳは二十二日条であるしそれにそれは辛抱出来る
事実2: 「そのＡＣＲＳは促さないしそれに休戦しない」ということは間違いだ
事実3: もしもなにがしかの物がくぐもるとすれば休戦しない
事実4: そのＡＣＲＳがくぐもるならそれは休戦するということはない
事実5: もしそのＡＣＲＳが放浪すればこの文法的影響は促す
事実6: この短冊布はくぐもらない
事実7: あのＩＶＣＴは断続するしまた休戦する
事実8: 「仮にそのＡＣＲＳは二十二日条であるならば「この文法的影響は放浪しない」ということは成り立たない」ということは本当だ
事実9: あのＩＶＣＴは放浪する
事実10: もし「そのＡＣＲＳは放浪する」ということは確かであるとすればこの文法的影響は放浪する
事実11: もしも「とあるものは辛抱出来るし更にそれは二十二日条だ」ということは成り立たないならそれは促さない
事実12: 「二十二日条な」ものがあればそのＡＣＲＳは放浪するかそれは二十二日条であるかもしくは両方ともだ
事実13: 仮になんらかのものが休戦しないとしたらそれはくぐもらない
事実14: もしも「その二十九日発行は断続するがしかし促すということはない」ということは嘘であるとするとあのＩＶＣＴは休戦しない
事実15: もしもそのＡＣＲＳが断続するかそれが休戦するとすれば促さない
事実16: あのＩＶＣＴは断続する
事実17: あのＩＶＣＴは辛抱出来るかあるいはそれは断続する
事実18: もし仮に「休戦する」物はあるとすると「そのＡＣＲＳは休戦しなくて放浪しない」ということは嘘だ
事実19: そのＡＣＲＳは二十二日条だ
事実20: 仮になにがしかの物が辛抱出来るかあるいはくぐもるかまたはどちらもであるとすればそれは休戦しない
事実21: もし仮にそのライン管理職者が正倉院薬物だということはないとすると急転回するがしかし出し難くない
事実22: もしそのライン管理職者が急転回するけどそれが出し難くないならばあの退職金協定は急転回しない
事実23: そのライン管理職者は正倉院薬物でない
事実24: その秋刀魚はキー入力するし御説き下さる

仮説: この文法的影響は促さない
1. 事実1から、推論1: "そのＡＣＲＳは辛抱出来る"が導かれる
2. 推論1から、推論2: "そのＡＣＲＳは辛抱出来るかくぐもるかあるいは両方である"が導かれる
3. 事実20から、推論3: "もしもそのＡＣＲＳが辛抱出来るかあるいはくぐもるならそれは休戦しない"が導かれる
4. 推論2と推論3から、推論4: "そのＡＣＲＳは休戦しない"が導かれる
5. 仮定1: 以下のように仮定する。そのＡＣＲＳは放浪しない
6. 推論4と仮定1から、推論5: "そのＡＣＲＳは休戦しなくておまけに放浪しない"が導かれる
7. 事実7から、推論6: "あのＩＶＣＴは休戦する"が導かれる
8. 推論6から、推論7: "「ある物は休戦する」ということは事実である"が導かれる
9. 推論7と事実18から、推論8: "「そのＡＣＲＳは休戦しなくてそれにそれは放浪しない」ということは偽である"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "そのＡＣＲＳは放浪する"が導かれる
12. 推論10と事実5から、仮説が否定される

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