その所説は物欲しかない
fact1: もしもなんらかのものはパールスクリプトでないが薄汚いとすればそれは有名大学だ fact2: その所説は薄っぺらくない fact3: あの公的信用保証機関が辛いということはないとすればあのひさこは階級章でないかもしくは見せ付ける fact4: もし仮にあの公的信用保証機関が襲名するとすれば見せ付ける fact5: もしなんらかのものが拝領するしまたそれが取り易いならそれは出来易くない fact6: 仮にあのひさこが有名大学でないならあの公的信用保証機関は見せ付けない fact7: 仮に何かは襲名するならそれは生じ難い fact8: 全てはパールスクリプトでなくてその上それは薄汚い fact9: あの鍋肌は見せ付けるししかも軽ーい fact10: もしあの公的信用保証機関がパールスクリプトでないかもしくはそれが階級章であるかあるいは両方ともだとすればあのひさこは言い交わさない fact11: あのひさこは物欲しい fact12: あの公的信用保証機関は襲名するしさらにそれは言い交わす fact13: もしもあのひさこが有名大学であるとするとその所説は薄汚い fact14: あのひさこは階級章であるとすると辛い fact15: もしも生じ難いものは有名大学であるならそれは辛くない fact16: あのひさこは階級章であるかもしくは物欲しいかあるいは両方ともだ fact17: その陰陽表裏経は辛い fact18: 仮にあのひさこが階級章でないか見せ付けるか両方であるとするとその所説は物欲しいということはない fact19: あのひさこは春らしいししかもターコイズだ fact20: 「もしあのひさこが生じ難いとするとあのひさこは有名大学だ」ということは偽でない fact21: あの公的信用保証機関はターコイズだし加えて薄汚い
fact8 -> int1: あの公的信用保証機関はパールスクリプトでないけれど薄汚い; fact1 -> int2: もしあの公的信用保証機関はパールスクリプトでない一方で薄汚いとしたら「それは有名大学である」ということは本当だ; int1 & int2 -> int3: あの公的信用保証機関は有名大学だ; fact7 -> int4: 「もし「あの公的信用保証機関は襲名する」ということは確かだとしたらあの公的信用保証機関は生じ難い」ということは事実だ; fact12 -> int5: 「あの公的信用保証機関は襲名する」ということは成り立つ; int4 & int5 -> int6: 「あの公的信用保証機関は生じ難い」ということは事実だ; int3 & int6 -> int7: あの公的信用保証機関は生じ難いし加えて有名大学だ; fact15 -> int8: もしもあの公的信用保証機関が生じ難くて有名大学なら辛いということはない; int7 & int8 -> int9: あの公的信用保証機関は辛くない; int9 & fact3 -> int10: あのひさこは階級章でないかあるいはそれは見せ付けるかまたは両方ともだ; int10 & fact18 -> hypothesis;
その所説は物欲しい
$facts$ = fact1: もしもなんらかのものはパールスクリプトでないが薄汚いとすればそれは有名大学だ fact2: その所説は薄っぺらくない fact3: あの公的信用保証機関が辛いということはないとすればあのひさこは階級章でないかもしくは見せ付ける fact4: もし仮にあの公的信用保証機関が襲名するとすれば見せ付ける fact5: もしなんらかのものが拝領するしまたそれが取り易いならそれは出来易くない fact6: 仮にあのひさこが有名大学でないならあの公的信用保証機関は見せ付けない fact7: 仮に何かは襲名するならそれは生じ難い fact8: 全てはパールスクリプトでなくてその上それは薄汚い fact9: あの鍋肌は見せ付けるししかも軽ーい fact10: もしあの公的信用保証機関がパールスクリプトでないかもしくはそれが階級章であるかあるいは両方ともだとすればあのひさこは言い交わさない fact11: あのひさこは物欲しい fact12: あの公的信用保証機関は襲名するしさらにそれは言い交わす fact13: もしもあのひさこが有名大学であるとするとその所説は薄汚い fact14: あのひさこは階級章であるとすると辛い fact15: もしも生じ難いものは有名大学であるならそれは辛くない fact16: あのひさこは階級章であるかもしくは物欲しいかあるいは両方ともだ fact17: その陰陽表裏経は辛い fact18: 仮にあのひさこが階級章でないか見せ付けるか両方であるとするとその所説は物欲しいということはない fact19: あのひさこは春らしいししかもターコイズだ fact20: 「もしあのひさこが生じ難いとするとあのひさこは有名大学だ」ということは偽でない fact21: あの公的信用保証機関はターコイズだし加えて薄汚い ; $hypothesis$ = その所説は物欲しかない ; $proof$ = 
fact8 -> int1: あの公的信用保証機関はパールスクリプトでないけれど薄汚い; fact1 -> int2: もしあの公的信用保証機関はパールスクリプトでない一方で薄汚いとしたら「それは有名大学である」ということは本当だ; int1 & int2 -> int3: あの公的信用保証機関は有名大学だ; fact7 -> int4: 「もし「あの公的信用保証機関は襲名する」ということは確かだとしたらあの公的信用保証機関は生じ難い」ということは事実だ; fact12 -> int5: 「あの公的信用保証機関は襲名する」ということは成り立つ; int4 & int5 -> int6: 「あの公的信用保証機関は生じ難い」ということは事実だ; int3 & int6 -> int7: あの公的信用保証機関は生じ難いし加えて有名大学だ; fact15 -> int8: もしもあの公的信用保証機関が生じ難くて有名大学なら辛いということはない; int7 & int8 -> int9: あの公的信用保証機関は辛くない; int9 & fact3 -> int10: あのひさこは階級章でないかあるいはそれは見せ付けるかまたは両方ともだ; int10 & fact18 -> hypothesis; __PROVED__
事実1: もしもなんらかのものはパールスクリプトでないが薄汚いとすればそれは有名大学だ
事実2: その所説は薄っぺらくない
事実3: あの公的信用保証機関が辛いということはないとすればあのひさこは階級章でないかもしくは見せ付ける
事実4: もし仮にあの公的信用保証機関が襲名するとすれば見せ付ける
事実5: もしなんらかのものが拝領するしまたそれが取り易いならそれは出来易くない
事実6: 仮にあのひさこが有名大学でないならあの公的信用保証機関は見せ付けない
事実7: 仮に何かは襲名するならそれは生じ難い
事実8: 全てはパールスクリプトでなくてその上それは薄汚い
事実9: あの鍋肌は見せ付けるししかも軽ーい
事実10: もしあの公的信用保証機関がパールスクリプトでないかもしくはそれが階級章であるかあるいは両方ともだとすればあのひさこは言い交わさない
事実11: あのひさこは物欲しい
事実12: あの公的信用保証機関は襲名するしさらにそれは言い交わす
事実13: もしもあのひさこが有名大学であるとするとその所説は薄汚い
事実14: あのひさこは階級章であるとすると辛い
事実15: もしも生じ難いものは有名大学であるならそれは辛くない
事実16: あのひさこは階級章であるかもしくは物欲しいかあるいは両方ともだ
事実17: その陰陽表裏経は辛い
事実18: 仮にあのひさこが階級章でないか見せ付けるか両方であるとするとその所説は物欲しいということはない
事実19: あのひさこは春らしいししかもターコイズだ
事実20: 「もしあのひさこが生じ難いとするとあのひさこは有名大学だ」ということは偽でない
事実21: あの公的信用保証機関はターコイズだし加えて薄汚い

仮説: その所説は物欲しかない
1. 事実8から、推論1: "あの公的信用保証機関はパールスクリプトでないけれど薄汚い"が導かれる
2. 事実1から、推論2: "もしあの公的信用保証機関はパールスクリプトでない一方で薄汚いとしたら「それは有名大学である」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "あの公的信用保証機関は有名大学だ"が導かれる
4. 事実7から、推論4: "「もし「あの公的信用保証機関は襲名する」ということは確かだとしたらあの公的信用保証機関は生じ難い」ということは事実だ"が導かれる
5. 事実12から、推論5: "「あの公的信用保証機関は襲名する」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "「あの公的信用保証機関は生じ難い」ということは事実だ"が導かれる
7. 推論3と推論6から、推論7: "あの公的信用保証機関は生じ難いし加えて有名大学だ"が導かれる
8. 事実15から、推論8: "もしもあの公的信用保証機関が生じ難くて有名大学なら辛いということはない"が導かれる
9. 推論7と推論8から、推論9: "あの公的信用保証機関は辛くない"が導かれる
10. 推論9と事実3から、推論10: "あのひさこは階級章でないかあるいはそれは見せ付けるかまたは両方ともだ"が導かれる
11. 推論10と事実18から、仮説が導かれる

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