このオンラインショッピングは他人同士である
fact1: このデアは賢くない fact2: 「その学習プリントはこじつけない」ということは間違っていないとすればこのデアは任さないけれど各観察単位だ fact3: その連載記事は論文執筆でない fact4: 仮にその連載記事がこじつけないならこのデアは任す一方で他人同士でない fact5: もしこのデアが任すということはない一方で各観察単位であるとするとその連載記事は居住まいでない fact6: もしもある物がこじつけるとするとそれは堆肥だが犯し易くない fact7: もし「なにかは割り干し大根だ」ということは事実であるなら「「美味しかなくてまたそれは日本支部でない」ということは成り立つ」ということは誤りだ fact8: もしもこのメタは美味しかないなら「その間違い様はそっとするかもしくは賢いかあるいは両方である」ということは嘘である fact9: もしも「そのハングマンは賢い一方で面白くない」ということは間違いであるとしたらその学習プリントは面白い fact10: 仮にとあるものは面白いとすれば「堆肥で犯し易くない」ということは成り立つということはない fact11: もしその連載記事が居住まいでないならこのオンラインショッピングは他人同士である fact12: 「そのハングマンは賢いけど面白くない」ということは誤っている fact13: 仮に「何らかのものはそっとするかあるいは賢い」ということは間違っているとしたら面白いということはない fact14: もしその間違い様は面白くないならば「そのハングマンは各観察単位でないが居住まいである」ということは偽だ fact15: このデアは各観察単位である fact16: このデアが任すけど他人同士でないとすればあのオンラインショッピングは他人同士でない fact17: もし「そのルビーは美味しいということはなくて日本支部でない」ということは成り立つということはないとするとこのメタは美味しいということはない fact18: 「その学習プリントは居住まいでない」ということは成り立つ fact19: 全ての物はめぼしいし割り干し大根である fact20: もし仮にそのハングマンが賢くないとするとその学習プリントは面白い fact21: その学習プリントが賢くないとしたらそのハングマンはこじつける
fact6 -> int1: もしもその学習プリントがこじつけるなら堆肥だが犯し易くない; void -> assump1: 以下のように仮定する。その学習プリントはこじつける; int1 & assump1 -> int2: その学習プリントは堆肥である一方で犯し易くない; fact12 & fact9 -> int3: 「その学習プリントは面白い」ということは真実である; fact10 -> int4: 仮にその学習プリントは面白いなら「堆肥である一方で犯し易くない」ということは誤りだ; int3 & int4 -> int5: 「その学習プリントは堆肥だが犯し易いということはない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その学習プリントはこじつけない; int7 & fact2 -> int8: このデアは任さないけど各観察単位だ; int8 & fact5 -> int9: その連載記事は居住まいでない; int9 & fact11 -> hypothesis;
このオンラインショッピングは他人同士でない
fact29 -> int10: もしも「その間違い様はそっとするかまたは賢いかもしくはどちらもである」ということは間違っているとしたら面白くない; fact25 -> int11: 仮にそのルビーは割り干し大根なら「それは美味しかないししかも日本支部でない」ということは嘘だ; fact23 -> int12: そのルビーはめぼしくてさらにそれは割り干し大根である; int12 -> int13: そのルビーは割り干し大根だ; int11 & int13 -> int14: 「そのルビーは美味しかないしおまけに日本支部でない」ということは本当でない; fact27 & int14 -> int15: このメタは美味しかない; fact24 & int15 -> int16: 「その間違い様はそっとするかそれは賢いかまたは両方ともである」ということは誤りである; int10 & int16 -> int17: その間違い様は面白いということはない; fact22 & int17 -> int18: 「そのハングマンは各観察単位でないが居住まいだ」ということは成り立たない; int18 -> int19: 「「各観察単位でないけれど居住まいである」ということは間違いである」物はある;
$facts$ = fact1: このデアは賢くない fact2: 「その学習プリントはこじつけない」ということは間違っていないとすればこのデアは任さないけれど各観察単位だ fact3: その連載記事は論文執筆でない fact4: 仮にその連載記事がこじつけないならこのデアは任す一方で他人同士でない fact5: もしこのデアが任すということはない一方で各観察単位であるとするとその連載記事は居住まいでない fact6: もしもある物がこじつけるとするとそれは堆肥だが犯し易くない fact7: もし「なにかは割り干し大根だ」ということは事実であるなら「「美味しかなくてまたそれは日本支部でない」ということは成り立つ」ということは誤りだ fact8: もしもこのメタは美味しかないなら「その間違い様はそっとするかもしくは賢いかあるいは両方である」ということは嘘である fact9: もしも「そのハングマンは賢い一方で面白くない」ということは間違いであるとしたらその学習プリントは面白い fact10: 仮にとあるものは面白いとすれば「堆肥で犯し易くない」ということは成り立つということはない fact11: もしその連載記事が居住まいでないならこのオンラインショッピングは他人同士である fact12: 「そのハングマンは賢いけど面白くない」ということは誤っている fact13: 仮に「何らかのものはそっとするかあるいは賢い」ということは間違っているとしたら面白いということはない fact14: もしその間違い様は面白くないならば「そのハングマンは各観察単位でないが居住まいである」ということは偽だ fact15: このデアは各観察単位である fact16: このデアが任すけど他人同士でないとすればあのオンラインショッピングは他人同士でない fact17: もし「そのルビーは美味しいということはなくて日本支部でない」ということは成り立つということはないとするとこのメタは美味しいということはない fact18: 「その学習プリントは居住まいでない」ということは成り立つ fact19: 全ての物はめぼしいし割り干し大根である fact20: もし仮にそのハングマンが賢くないとするとその学習プリントは面白い fact21: その学習プリントが賢くないとしたらそのハングマンはこじつける ; $hypothesis$ = このオンラインショッピングは他人同士である ; $proof$ = 
fact6 -> int1: もしもその学習プリントがこじつけるなら堆肥だが犯し易くない; void -> assump1: 以下のように仮定する。その学習プリントはこじつける; int1 & assump1 -> int2: その学習プリントは堆肥である一方で犯し易くない; fact12 & fact9 -> int3: 「その学習プリントは面白い」ということは真実である; fact10 -> int4: 仮にその学習プリントは面白いなら「堆肥である一方で犯し易くない」ということは誤りだ; int3 & int4 -> int5: 「その学習プリントは堆肥だが犯し易いということはない」ということは成り立たない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その学習プリントはこじつけない; int7 & fact2 -> int8: このデアは任さないけど各観察単位だ; int8 & fact5 -> int9: その連載記事は居住まいでない; int9 & fact11 -> hypothesis; __PROVED__
事実1: このデアは賢くない
事実2: 「その学習プリントはこじつけない」ということは間違っていないとすればこのデアは任さないけれど各観察単位だ
事実3: その連載記事は論文執筆でない
事実4: 仮にその連載記事がこじつけないならこのデアは任す一方で他人同士でない
事実5: もしこのデアが任すということはない一方で各観察単位であるとするとその連載記事は居住まいでない
事実6: もしもある物がこじつけるとするとそれは堆肥だが犯し易くない
事実7: もし「なにかは割り干し大根だ」ということは事実であるなら「「美味しかなくてまたそれは日本支部でない」ということは成り立つ」ということは誤りだ
事実8: もしもこのメタは美味しかないなら「その間違い様はそっとするかもしくは賢いかあるいは両方である」ということは嘘である
事実9: もしも「そのハングマンは賢い一方で面白くない」ということは間違いであるとしたらその学習プリントは面白い
事実10: 仮にとあるものは面白いとすれば「堆肥で犯し易くない」ということは成り立つということはない
事実11: もしその連載記事が居住まいでないならこのオンラインショッピングは他人同士である
事実12: 「そのハングマンは賢いけど面白くない」ということは誤っている
事実13: 仮に「何らかのものはそっとするかあるいは賢い」ということは間違っているとしたら面白いということはない
事実14: もしその間違い様は面白くないならば「そのハングマンは各観察単位でないが居住まいである」ということは偽だ
事実15: このデアは各観察単位である
事実16: このデアが任すけど他人同士でないとすればあのオンラインショッピングは他人同士でない
事実17: もし「そのルビーは美味しいということはなくて日本支部でない」ということは成り立つということはないとするとこのメタは美味しいということはない
事実18: 「その学習プリントは居住まいでない」ということは成り立つ
事実19: 全ての物はめぼしいし割り干し大根である
事実20: もし仮にそのハングマンが賢くないとするとその学習プリントは面白い
事実21: その学習プリントが賢くないとしたらそのハングマンはこじつける

仮説: このオンラインショッピングは他人同士である
1. 事実6から、推論1: "もしもその学習プリントがこじつけるなら堆肥だが犯し易くない"が導かれる
2. 仮定1: 以下のように仮定する。その学習プリントはこじつける
3. 推論1と仮定1から、推論2: "その学習プリントは堆肥である一方で犯し易くない"が導かれる
4. 事実12と事実9から、推論3: "「その学習プリントは面白い」ということは真実である"が導かれる
5. 事実10から、推論4: "仮にその学習プリントは面白いなら「堆肥である一方で犯し易くない」ということは誤りだ"が導かれる
6. 推論3と推論4から、推論5: "「その学習プリントは堆肥だが犯し易いということはない」ということは成り立たない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その学習プリントはこじつけない"が導かれる
9. 推論7と事実2から、推論8: "このデアは任さないけど各観察単位だ"が導かれる
10. 推論8と事実5から、推論9: "その連載記事は居住まいでない"が導かれる
11. 推論9と事実11から、仮説が導かれる

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