「この患者等は酷くない一方で御通ずる」ということは成り立たない
fact1: あの市区町村毎は溶き延ばす fact2: もし仮にその三相変圧器が沿線であるし溶き延ばせばこの患者等はしがなくない fact3: 通じ易いということはない物は晴々しかなくて御安くない fact4: もしあるものが塗りたくらないならそれは通じ易くないしまた減量出来ない fact5: もしもその三相変圧器がしがなくないとするとこの患者等は溶き延ばさなくておまけに沿線だということはない fact6: もし仮にこの十二年後が回りくどいが御受けに成るということはないならばその三相変圧器はしがなくない fact7: 女々しいということはないものは回りくどいが御受けに成らない fact8: 仮に「この燐はバター茶でないしかつ一般常識でない」ということは嘘であるとすればあの天馬塚は一般常識だということはない fact9: もし仮に何かは溶き延ばすということはなくてそれは沿線でないとすると酷いということはない fact10: この政府軍は統計的分析法でなくて共鳴し易いということはない fact11: あの主脈は活性化しない fact12: その三相変圧器は溶き延ばす fact13: 仮に「統計的分析法だということはない」物はあれば「この燐はバター茶だということはなくて一般常識でない」ということは誤っている fact14: もしあの主脈が通じ易くないし減量出来ないとしたらこの十二年後は通じ易くない fact15: その三相変圧器は沿線だ fact16: 「あの主脈は呆気ないしかつ協力す」ということは間違いであるとすれば「それは塗りたくるということはない」ということは本当だ fact17: 「その毎分は執り行なえるし加えてそれは生臭い」ということは事実と異なる fact18: 仮になにがしかの物は一般常識でないとしたら御通ぜないかもしくは草丈でないかもしくはどちらもである fact19: 仮にこの天馬塚が御通ぜないとしたらこの患者等は御通ずる fact20: もしもあの主脈は活性化しないとすると「それは呆気ないしおまけに協力す」ということは成り立たない fact21: 仮にとあるものはしがなくないなら「酷いししかも御通ずる」ということは間違いである fact22: なにがしかのものはしがなくないとすれば「それが酷くないしさらに御通ずる」ということは成り立たない fact23: 晴々しいということはないしその上御安くない物は女々しかない
fact15 & fact12 -> int1: その三相変圧器は沿線でしかも溶き延ばす; int1 & fact2 -> int2: この患者等はしがなくない; fact22 -> int3: もしこの患者等はしがないということはないなら「それは酷くないし御通ずる」ということは成り立つということはない; int2 & int3 -> hypothesis;
fact15 & fact12 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{b}; fact22 -> int3: ¬{C}{b} -> ¬(¬{D}{b} & {E}{b}); int2 & int3 -> hypothesis;
この患者等は酷くないけれど御通ずる
fact35 -> int4: もし仮にこの患者等が溶き延ばすということはなくて更に沿線でないとしたらそれは酷くない; fact39 -> int5: もし仮にこの十二年後が女々しかないとしたら回りくどいけど御受けに成らない; fact31 -> int6: もしもこの十二年後は晴々しかないしおまけに御安くないとしたらそれは女々しかない; fact27 -> int7: この十二年後が通じ易くないとすればそれは晴々しかなくてそれに御安くない; fact38 -> int8: 仮にあの主脈が塗りたくらないならば通じ易いということはなくてかつ減量出来ない; fact24 & fact29 -> int9: 「あの主脈は呆気ないしそれは協力す」ということは成り立つということはない; fact37 & int9 -> int10: 「あの主脈は塗りたくるということはない」ということは本当だ; int8 & int10 -> int11: あの主脈は通じ易くないし減量出来ない; fact33 & int11 -> int12: この十二年後は通じ易いということはない; int7 & int12 -> int13: この十二年後は晴々しかないし更に御安いということはない; int6 & int13 -> int14: この十二年後は女々しかない; int5 & int14 -> int15: この十二年後は回りくどいけれど御受けに成るということはない; fact30 & int15 -> int16: その三相変圧器はしがなくない; fact26 & int16 -> int17: この患者等は溶き延ばさなくてそれに沿線でない; int4 & int17 -> int18: この患者等は酷くない; fact36 -> int19: もし仮にこの天馬塚が一般常識でないとするとそれは御通ぜないか草丈でない; fact25 -> int20: この政府軍は統計的分析法でない; int20 -> int21: 「統計的分析法でない」ものはある; int21 & fact32 -> int22: 「この燐はバター茶でなくてそれは一般常識でない」ということは成り立たない; fact28 & int22 -> int23: この天馬塚は一般常識でない; int19 & int23 -> int24: この天馬塚は御通ぜないかもしくは草丈でないかあるいは両方である;
$facts$ = fact1: あの市区町村毎は溶き延ばす fact2: もし仮にその三相変圧器が沿線であるし溶き延ばせばこの患者等はしがなくない fact3: 通じ易いということはない物は晴々しかなくて御安くない fact4: もしあるものが塗りたくらないならそれは通じ易くないしまた減量出来ない fact5: もしもその三相変圧器がしがなくないとするとこの患者等は溶き延ばさなくておまけに沿線だということはない fact6: もし仮にこの十二年後が回りくどいが御受けに成るということはないならばその三相変圧器はしがなくない fact7: 女々しいということはないものは回りくどいが御受けに成らない fact8: 仮に「この燐はバター茶でないしかつ一般常識でない」ということは嘘であるとすればあの天馬塚は一般常識だということはない fact9: もし仮に何かは溶き延ばすということはなくてそれは沿線でないとすると酷いということはない fact10: この政府軍は統計的分析法でなくて共鳴し易いということはない fact11: あの主脈は活性化しない fact12: その三相変圧器は溶き延ばす fact13: 仮に「統計的分析法だということはない」物はあれば「この燐はバター茶だということはなくて一般常識でない」ということは誤っている fact14: もしあの主脈が通じ易くないし減量出来ないとしたらこの十二年後は通じ易くない fact15: その三相変圧器は沿線だ fact16: 「あの主脈は呆気ないしかつ協力す」ということは間違いであるとすれば「それは塗りたくるということはない」ということは本当だ fact17: 「その毎分は執り行なえるし加えてそれは生臭い」ということは事実と異なる fact18: 仮になにがしかの物は一般常識でないとしたら御通ぜないかもしくは草丈でないかもしくはどちらもである fact19: 仮にこの天馬塚が御通ぜないとしたらこの患者等は御通ずる fact20: もしもあの主脈は活性化しないとすると「それは呆気ないしおまけに協力す」ということは成り立たない fact21: 仮にとあるものはしがなくないなら「酷いししかも御通ずる」ということは間違いである fact22: なにがしかのものはしがなくないとすれば「それが酷くないしさらに御通ずる」ということは成り立たない fact23: 晴々しいということはないしその上御安くない物は女々しかない ; $hypothesis$ = 「この患者等は酷くない一方で御通ずる」ということは成り立たない ; $proof$ = 
fact15 & fact12 -> int1: その三相変圧器は沿線でしかも溶き延ばす; int1 & fact2 -> int2: この患者等はしがなくない; fact22 -> int3: もしこの患者等はしがないということはないなら「それは酷くないし御通ずる」ということは成り立つということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: あの市区町村毎は溶き延ばす
事実2: もし仮にその三相変圧器が沿線であるし溶き延ばせばこの患者等はしがなくない
事実3: 通じ易いということはない物は晴々しかなくて御安くない
事実4: もしあるものが塗りたくらないならそれは通じ易くないしまた減量出来ない
事実5: もしもその三相変圧器がしがなくないとするとこの患者等は溶き延ばさなくておまけに沿線だということはない
事実6: もし仮にこの十二年後が回りくどいが御受けに成るということはないならばその三相変圧器はしがなくない
事実7: 女々しいということはないものは回りくどいが御受けに成らない
事実8: 仮に「この燐はバター茶でないしかつ一般常識でない」ということは嘘であるとすればあの天馬塚は一般常識だということはない
事実9: もし仮に何かは溶き延ばすということはなくてそれは沿線でないとすると酷いということはない
事実10: この政府軍は統計的分析法でなくて共鳴し易いということはない
事実11: あの主脈は活性化しない
事実12: その三相変圧器は溶き延ばす
事実13: 仮に「統計的分析法だということはない」物はあれば「この燐はバター茶だということはなくて一般常識でない」ということは誤っている
事実14: もしあの主脈が通じ易くないし減量出来ないとしたらこの十二年後は通じ易くない
事実15: その三相変圧器は沿線だ
事実16: 「あの主脈は呆気ないしかつ協力す」ということは間違いであるとすれば「それは塗りたくるということはない」ということは本当だ
事実17: 「その毎分は執り行なえるし加えてそれは生臭い」ということは事実と異なる
事実18: 仮になにがしかの物は一般常識でないとしたら御通ぜないかもしくは草丈でないかもしくはどちらもである
事実19: 仮にこの天馬塚が御通ぜないとしたらこの患者等は御通ずる
事実20: もしもあの主脈は活性化しないとすると「それは呆気ないしおまけに協力す」ということは成り立たない
事実21: 仮にとあるものはしがなくないなら「酷いししかも御通ずる」ということは間違いである
事実22: なにがしかのものはしがなくないとすれば「それが酷くないしさらに御通ずる」ということは成り立たない
事実23: 晴々しいということはないしその上御安くない物は女々しかない

仮説: 「この患者等は酷くない一方で御通ずる」ということは成り立たない
1. 事実15と事実12から、推論1: "その三相変圧器は沿線でしかも溶き延ばす"が導かれる
2. 推論1と事実2から、推論2: "この患者等はしがなくない"が導かれる
3. 事実22から、推論3: "もしこの患者等はしがないということはないなら「それは酷くないし御通ずる」ということは成り立つということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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