このＧＳは成ずない
fact1: もしその間欠跛行が計画経済時代でないならこのＧＳは腐り易いということはない fact2: その間欠跛行は成ずない fact3: 「その間欠跛行は深入りするしティートリーだ」ということは偽だ fact4: 「このＧＳは成ずない」ということは成り立てば「それは心安い」ということは真実である fact5: 「その間欠跛行は人間らしい物であって三郎でない」ということは成り立つということはない fact6: 仮に「このＧＳは三郎でない」ということは事実であるならそれは腐り易い fact7: このバンプマッピングは局員でない fact8: もし仮にこのＧＳが局員だということはないとするとその間欠跛行は成ずない fact9: もしもこのＧＳが心安いとすればそれは手緩くない fact10: もしもこの突破口は三郎であるならばそれは関係事務でない fact11: もし仮に「その間欠跛行は計画経済時代であるしそれにそれは心安い」ということは嘘だとするとこのＧＳは腐り易くない fact12: 仮に「このＧＳは腐り易い計画経済時代だ」ということは間違っているとすればあの間欠跛行は心安くない fact13: もしもなにかは局員でないとすると「それは計画経済時代であるし心安い」ということは事実と異なる fact14: その間欠跛行は茶でない fact15: このＧＳは計画経済時代でないとすると「その間欠跛行は成ずない」ということは成り立つ fact16: もしその間欠跛行が三郎だとすると局員でない fact17: 「このＧＳは計画経済時代でその上成ず」ということは事実と異なる fact18: 「その石臼は符号化するけれど人間らしくない」ということは誤りだ fact19: もしとあるものが腐り易くないならば成ず fact20: 仮にその間欠跛行が腐り易いということはないならこのＧＳは局員でない fact21: 発生し易くない物は料理出来る fact22: もしも「その間欠跛行は人間らしい一方で三郎でない」ということは成り立たないなら局員でない fact23: 「このＧＳは計画経済時代だし痛ーい」ということは誤りだ fact24: 人間らしくない物は計画経済時代だ
fact22 & fact5 -> int1: その間欠跛行は局員でない; fact13 -> int2: もしその間欠跛行は局員でないとすれば「計画経済時代だし心安い」ということは成り立たない; int1 & int2 -> int3: 「その間欠跛行は計画経済時代であるし心安い」ということは偽だ; int3 & fact11 -> int4: このＧＳは腐り易くない; fact19 -> int5: もし「このＧＳは腐り易くない」ということは誤っていないとしたらそれは成ず; int4 & int5 -> hypothesis;
$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$ = 
fact22 & fact5 -> int1: その間欠跛行は局員でない; fact13 -> int2: もしその間欠跛行は局員でないとすれば「計画経済時代だし心安い」ということは成り立たない; int1 & int2 -> int3: 「その間欠跛行は計画経済時代であるし心安い」ということは偽だ; int3 & fact11 -> int4: このＧＳは腐り易くない; fact19 -> int5: もし「このＧＳは腐り易くない」ということは誤っていないとしたらそれは成ず; int4 & 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: もしも「その間欠跛行は人間らしい一方で三郎でない」ということは成り立たないなら局員でない
事実23: 「このＧＳは計画経済時代だし痛ーい」ということは誤りだ
事実24: 人間らしくない物は計画経済時代だ

仮説: このＧＳは成ずない
1. 事実22と事実5から、推論1: "その間欠跛行は局員でない"が導かれる
2. 事実13から、推論2: "もしその間欠跛行は局員でないとすれば「計画経済時代だし心安い」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「その間欠跛行は計画経済時代であるし心安い」ということは偽だ"が導かれる
4. 推論3と事実11から、推論4: "このＧＳは腐り易くない"が導かれる
5. 事実19から、推論5: "もし「このＧＳは腐り易くない」ということは誤っていないとしたらそれは成ず"が導かれる
6. 推論4と推論5から、仮説が否定される

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