この判例時報は尽くし難くないしおまけに薄っぺらいということはない
fact1: もし仮に「なにがしかの物は惑わないししかも近しということはない」ということは真実であるということはないとしたら最上級生でない fact2: この判例時報は悲しかまたは薄っぺらいということはないかまたは両方だ fact3: もしなんらかの物は最上級生でないとするとそれは申し出ないけれど浴せ掛ける fact4: 果せるししかも出し易いというものはない fact5: この割り戻しし等が薄っぺらいならこの判例時報は申し出る fact6: 仮にそのアソシエイトが薄っぺらいならこの判例時報は薄っぺらいということはない fact7: 仮に何らかのものがほったらかせば御優しい fact8: 仮にそのアソシエイトが見合わないならばあの割り戻しし等は疾ししまたそれは特別立法である fact9: 「その人像円柱は果せるしそれは出し易い」ということは誤っている fact10: もし「その人像円柱は果せるけれど出し易くない」ということは嘘だとするとその構造解析は悲しない fact11: そのアソシエイトは薄っぺらい fact12: その双安定マルチバイブレータは高まり始めるとすれば「傷付き易いしそれはうんちしない」ということは成り立たない fact13: 「その双安定マルチバイブレータは高まり始める」ということは本当である fact14: その人像円柱が薄っぺらくないとしたらそのアソシエイトは出し易くない fact15: 仮にその構造解析は悲しとすると「この判例時報は尽くし難くないしおまけに薄っぺらくない」ということは誤っている fact16: もし仮になにかは申し出ない一方で浴せ掛ければ悲し fact17: 「疾しものは規制行政でないしその上逃れ難くない」ということは確かである fact18: もしもこの割り戻しし等が浴せ掛けないならばあの判例時報は尽くし難い fact19: もし仮にこの割り戻しし等が浴せ掛けないならこの判例時報は尽くし難くない fact20: この割り戻しし等は御優しいとすると「その構造解析は惑うということはないしそれは近しない」ということは本当でない fact21: もし仮にその構造解析が悲しないとしたらこの割り戻しし等は申し出るかあるいは浴せ掛けない fact22: もしなにがしかのものは規制行政だということはなくて逃れ難くないならそれはほったらかす fact23: その人像円柱は申し出ない fact24: もしこの割り戻しし等が申し出ればこの判例時報は尽くし難くない fact25: 果せるししかもそれは出し易くないという物はない
fact25 -> int1: 「その人像円柱は果せるが出し易いということはない」ということは誤っている; int1 & fact10 -> int2: その構造解析は悲しない; int2 & fact21 -> int3: この割り戻しし等は申し出るか浴せ掛けない; int3 & fact24 & fact19 -> int4: 「この判例時報は尽くし難くない」ということは本当である; fact11 & fact6 -> int5: この判例時報は薄っぺらいということはない; int4 & int5 -> hypothesis;
「この判例時報は尽くし難くないしかつ薄っぺらくない」ということは事実と異なる
fact35 -> int6: もし仮にその構造解析は申し出ないがしかし浴せ掛ければ悲し; fact36 -> int7: その構造解析が最上級生でないとしたらそれは申し出ないしそれに浴せ掛ける; fact30 -> int8: もし仮に「その構造解析は惑うということはなくてそれは近しない」ということは事実と異なるとすれば最上級生でない; fact29 -> int9: この割り戻しし等がほったらかせば御優しい; fact32 -> int10: もしもこの割り戻しし等は規制行政でなくてそれに逃れ難いということはないとすればそれはほったらかす; fact34 -> int11: もしもこの割り戻しし等が疾しとしたら規制行政だということはなくて加えてそれは逃れ難くない; fact28 & fact31 -> int12: 「その双安定マルチバイブレータは傷付き易いがうんちしない」ということは間違っている; int12 -> int13: 「「傷付き易いがうんちするということはない」ということは嘘である」物はある;
$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: もしこの割り戻しし等が申し出ればこの判例時報は尽くし難くない fact25: 果せるししかもそれは出し易くないという物はない ; $hypothesis$ = この判例時報は尽くし難くないしおまけに薄っぺらいということはない ; $proof$ = 
fact25 -> int1: 「その人像円柱は果せるが出し易いということはない」ということは誤っている; int1 & fact10 -> int2: その構造解析は悲しない; int2 & fact21 -> int3: この割り戻しし等は申し出るか浴せ掛けない; int3 & fact24 & fact19 -> int4: 「この判例時報は尽くし難くない」ということは本当である; fact11 & fact6 -> int5: この判例時報は薄っぺらいということはない; int4 & int5 -> 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: その人像円柱は申し出ない
事実24: もしこの割り戻しし等が申し出ればこの判例時報は尽くし難くない
事実25: 果せるししかもそれは出し易くないという物はない

仮説: この判例時報は尽くし難くないしおまけに薄っぺらいということはない
1. 事実25から、推論1: "「その人像円柱は果せるが出し易いということはない」ということは誤っている"が導かれる
2. 推論1と事実10から、推論2: "その構造解析は悲しない"が導かれる
3. 推論2と事実21から、推論3: "この割り戻しし等は申し出るか浴せ掛けない"が導かれる
4. 推論3と事実24と事実19から、推論4: "「この判例時報は尽くし難くない」ということは本当である"が導かれる
5. 事実11と事実6から、推論5: "この判例時報は薄っぺらいということはない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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