その精神異常は太り易くない
fact1: もしこの政治文化が悶え狂うとすればあの給付乗率はＣＲイートオアだ fact2: この政治文化は塩っ辛くない fact3: もしもあの携行が見失い掛けるが育ち盛りでないならその精神異常は太り易い fact4: なんらかの物はＣＲイートオアであるならそれは見失い掛けるが育ち盛りでない fact5: その精神異常が見失い掛けるとすればあの携行は育ち盛りである fact6: もしも「その精神異常はＣＲイートオアでないししかも見失い掛けない」ということは事実と異なれば悶え狂う fact7: もしあの携行が叫び続けるとしたらその精神異常は育ち盛りである fact8: その給付乗率は格好悪い fact9: もしもこの政治文化が塩っ辛いということはないとしたらそれはＣＲイートオアであるかあるいは悶え狂うかあるいは両方ともである fact10: もし「なにがしかの物は契約だということはなくて叫び続けない」ということは嘘であるなら見失い掛ける fact11: この共済法は叫び続ける fact12: この政治文化は来辛い fact13: その精神異常は塩っ辛い fact14: もし仮にこの政治文化はＣＲイートオアならば「それは塩っ辛くないけれど契約だ」ということは間違いである fact15: この政治文化は悶え狂うとすると「塩っ辛くないがしかし育ち盛りだ」ということは成り立たない fact16: もしその精神異常はＣＲイートオアであるならば「この政治文化は塩っ辛くない」ということは本当だ fact17: もしなんらかのものは太り易いなら「それは契約でなくて加えて叫び続けない」ということは嘘である fact18: 仮にあの携行が育ち盛りであるならその給付乗率はＣＲイートオアでない fact19: この政治文化がＣＲイートオアだとするとその給付乗率はＣＲイートオアである
fact17 -> int1: もしもその精神異常は太り易いならば「契約でなくて叫び続けるということはない」ということは間違っている; void -> assump1: 以下のように仮定する。その精神異常は太り易い; int1 & assump1 -> int2: 「その精神異常は契約だということはなくてそれは叫び続けない」ということは誤っている; fact10 -> int3: もしも「その精神異常は契約でないしかつ叫び続けない」ということは間違いならばそれは見失い掛ける; int2 & int3 -> int4: その精神異常は見失い掛ける; int4 & fact5 -> int5: 「あの携行は育ち盛りでない」ということは成り立たない; int5 & fact18 -> int6: その給付乗率はＣＲイートオアでない; fact2 & fact9 -> int7: この政治文化はＣＲイートオアであるかあるいは悶え狂うかもしくは両方である; fact19 & fact1 & int7 -> int8: その給付乗率はＣＲイートオアだ; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その精神異常は太り易い
fact20 -> int10: もし仮にあの携行はＣＲイートオアであるとしたら見失い掛けるが育ち盛りでない;
$facts$ = fact1: もしこの政治文化が悶え狂うとすればあの給付乗率はＣＲイートオアだ fact2: この政治文化は塩っ辛くない fact3: もしもあの携行が見失い掛けるが育ち盛りでないならその精神異常は太り易い fact4: なんらかの物はＣＲイートオアであるならそれは見失い掛けるが育ち盛りでない fact5: その精神異常が見失い掛けるとすればあの携行は育ち盛りである fact6: もしも「その精神異常はＣＲイートオアでないししかも見失い掛けない」ということは事実と異なれば悶え狂う fact7: もしあの携行が叫び続けるとしたらその精神異常は育ち盛りである fact8: その給付乗率は格好悪い fact9: もしもこの政治文化が塩っ辛いということはないとしたらそれはＣＲイートオアであるかあるいは悶え狂うかあるいは両方ともである fact10: もし「なにがしかの物は契約だということはなくて叫び続けない」ということは嘘であるなら見失い掛ける fact11: この共済法は叫び続ける fact12: この政治文化は来辛い fact13: その精神異常は塩っ辛い fact14: もし仮にこの政治文化はＣＲイートオアならば「それは塩っ辛くないけれど契約だ」ということは間違いである fact15: この政治文化は悶え狂うとすると「塩っ辛くないがしかし育ち盛りだ」ということは成り立たない fact16: もしその精神異常はＣＲイートオアであるならば「この政治文化は塩っ辛くない」ということは本当だ fact17: もしなんらかのものは太り易いなら「それは契約でなくて加えて叫び続けない」ということは嘘である fact18: 仮にあの携行が育ち盛りであるならその給付乗率はＣＲイートオアでない fact19: この政治文化がＣＲイートオアだとするとその給付乗率はＣＲイートオアである ; $hypothesis$ = その精神異常は太り易くない ; $proof$ = 
fact17 -> int1: もしもその精神異常は太り易いならば「契約でなくて叫び続けるということはない」ということは間違っている; void -> assump1: 以下のように仮定する。その精神異常は太り易い; int1 & assump1 -> int2: 「その精神異常は契約だということはなくてそれは叫び続けない」ということは誤っている; fact10 -> int3: もしも「その精神異常は契約でないしかつ叫び続けない」ということは間違いならばそれは見失い掛ける; int2 & int3 -> int4: その精神異常は見失い掛ける; int4 & fact5 -> int5: 「あの携行は育ち盛りでない」ということは成り立たない; int5 & fact18 -> int6: その給付乗率はＣＲイートオアでない; fact2 & fact9 -> int7: この政治文化はＣＲイートオアであるかあるいは悶え狂うかもしくは両方である; fact19 & fact1 & int7 -> int8: その給付乗率はＣＲイートオアだ; int6 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もしこの政治文化が悶え狂うとすればあの給付乗率はＣＲイートオアだ
事実2: この政治文化は塩っ辛くない
事実3: もしもあの携行が見失い掛けるが育ち盛りでないならその精神異常は太り易い
事実4: なんらかの物はＣＲイートオアであるならそれは見失い掛けるが育ち盛りでない
事実5: その精神異常が見失い掛けるとすればあの携行は育ち盛りである
事実6: もしも「その精神異常はＣＲイートオアでないししかも見失い掛けない」ということは事実と異なれば悶え狂う
事実7: もしあの携行が叫び続けるとしたらその精神異常は育ち盛りである
事実8: その給付乗率は格好悪い
事実9: もしもこの政治文化が塩っ辛いということはないとしたらそれはＣＲイートオアであるかあるいは悶え狂うかあるいは両方ともである
事実10: もし「なにがしかの物は契約だということはなくて叫び続けない」ということは嘘であるなら見失い掛ける
事実11: この共済法は叫び続ける
事実12: この政治文化は来辛い
事実13: その精神異常は塩っ辛い
事実14: もし仮にこの政治文化はＣＲイートオアならば「それは塩っ辛くないけれど契約だ」ということは間違いである
事実15: この政治文化は悶え狂うとすると「塩っ辛くないがしかし育ち盛りだ」ということは成り立たない
事実16: もしその精神異常はＣＲイートオアであるならば「この政治文化は塩っ辛くない」ということは本当だ
事実17: もしなんらかのものは太り易いなら「それは契約でなくて加えて叫び続けない」ということは嘘である
事実18: 仮にあの携行が育ち盛りであるならその給付乗率はＣＲイートオアでない
事実19: この政治文化がＣＲイートオアだとするとその給付乗率はＣＲイートオアである

仮説: その精神異常は太り易くない
1. 事実17から、推論1: "もしもその精神異常は太り易いならば「契約でなくて叫び続けるということはない」ということは間違っている"が導かれる
2. 仮定1: 以下のように仮定する。その精神異常は太り易い
3. 推論1と仮定1から、推論2: "「その精神異常は契約だということはなくてそれは叫び続けない」ということは誤っている"が導かれる
4. 事実10から、推論3: "もしも「その精神異常は契約でないしかつ叫び続けない」ということは間違いならばそれは見失い掛ける"が導かれる
5. 推論2と推論3から、推論4: "その精神異常は見失い掛ける"が導かれる
6. 推論4と事実5から、推論5: "「あの携行は育ち盛りでない」ということは成り立たない"が導かれる
7. 推論5と事実18から、推論6: "その給付乗率はＣＲイートオアでない"が導かれる
8. 事実2と事実9から、推論7: "この政治文化はＣＲイートオアであるかあるいは悶え狂うかもしくは両方である"が導かれる
9. 事実19と事実1と推論7から、推論8: "その給付乗率はＣＲイートオアだ"が導かれる
10. 推論6と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

よって、仮説が証明されました。