このＷＴＰはきつくてさらに奥深い
fact1: 「あのＪＰＥＧ画像はきつくない」ということは成り立つ fact2: もしあのハウスダストが侘しいならそれは測り難くない fact3: もしもなにがしかのものが重点分野ならば借り易くないしさらにプチダンベルでない fact4: もしも「なにかは思い煩う」ということは本当だとすればきつかないしさらに奥深くない fact5: 仮にこのＷＴＰは思い煩わないとすると「その練り香は思い煩うしまた侘しい」ということは本当である fact6: その練り香は立ち歩かない fact7: もしこのＷＴＰが奥深いならば退去しない fact8: 「その練り香は憎しということはないけど侘しい」ということは成り立つということはない fact9: もしこのＷＴＰがプチダンベルであるとしたらそれは思い煩わないし太らない fact10: もしあるものは二十時間以上であるとすればそれは慈愛深くない fact11: その練り香がきついということはないならこのＷＴＰは侘しい fact12: あの酢漬けは実現し易いしその上奥深い fact13: きついものは思い煩わなくて憎しない fact14: 「その練り香は憎しということはない一方で侘しい」ということは成り立たないとするとそれは憎し fact15: もしその練り香はきつくないとするとこのＷＴＰはきつくてそれにそれは奥深い
fact13 -> int1: もしその練り香がきついとするとそれは思い煩わないしまた憎しない; void -> assump1: 以下のように仮定する。その練り香はきつい; int1 & assump1 -> int2: その練り香は思い煩わないし憎しない; int2 -> int3: その練り香は憎しない; fact14 & fact8 -> int4: その練り香は憎し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その練り香はきつくない; int6 & fact15 -> hypothesis;
もし「あのチャイルドポルノは重点分野だ」ということは真実だとすると借り易いということはないしさらにプチダンベルであるということはない
fact16 -> hypothesis;
$facts$ = fact1: 「あのＪＰＥＧ画像はきつくない」ということは成り立つ fact2: もしあのハウスダストが侘しいならそれは測り難くない fact3: もしもなにがしかのものが重点分野ならば借り易くないしさらにプチダンベルでない fact4: もしも「なにかは思い煩う」ということは本当だとすればきつかないしさらに奥深くない fact5: 仮にこのＷＴＰは思い煩わないとすると「その練り香は思い煩うしまた侘しい」ということは本当である fact6: その練り香は立ち歩かない fact7: もしこのＷＴＰが奥深いならば退去しない fact8: 「その練り香は憎しということはないけど侘しい」ということは成り立つということはない fact9: もしこのＷＴＰがプチダンベルであるとしたらそれは思い煩わないし太らない fact10: もしあるものは二十時間以上であるとすればそれは慈愛深くない fact11: その練り香がきついということはないならこのＷＴＰは侘しい fact12: あの酢漬けは実現し易いしその上奥深い fact13: きついものは思い煩わなくて憎しない fact14: 「その練り香は憎しということはない一方で侘しい」ということは成り立たないとするとそれは憎し fact15: もしその練り香はきつくないとするとこのＷＴＰはきつくてそれにそれは奥深い ; $hypothesis$ = このＷＴＰはきつくてさらに奥深い ; $proof$ = 
fact13 -> int1: もしその練り香がきついとするとそれは思い煩わないしまた憎しない; void -> assump1: 以下のように仮定する。その練り香はきつい; int1 & assump1 -> int2: その練り香は思い煩わないし憎しない; int2 -> int3: その練り香は憎しない; fact14 & fact8 -> int4: その練り香は憎し; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その練り香はきつくない; int6 & fact15 -> hypothesis; __PROVED__
事実1: 「あのＪＰＥＧ画像はきつくない」ということは成り立つ
事実2: もしあのハウスダストが侘しいならそれは測り難くない
事実3: もしもなにがしかのものが重点分野ならば借り易くないしさらにプチダンベルでない
事実4: もしも「なにかは思い煩う」ということは本当だとすればきつかないしさらに奥深くない
事実5: 仮にこのＷＴＰは思い煩わないとすると「その練り香は思い煩うしまた侘しい」ということは本当である
事実6: その練り香は立ち歩かない
事実7: もしこのＷＴＰが奥深いならば退去しない
事実8: 「その練り香は憎しということはないけど侘しい」ということは成り立つということはない
事実9: もしこのＷＴＰがプチダンベルであるとしたらそれは思い煩わないし太らない
事実10: もしあるものは二十時間以上であるとすればそれは慈愛深くない
事実11: その練り香がきついということはないならこのＷＴＰは侘しい
事実12: あの酢漬けは実現し易いしその上奥深い
事実13: きついものは思い煩わなくて憎しない
事実14: 「その練り香は憎しということはない一方で侘しい」ということは成り立たないとするとそれは憎し
事実15: もしその練り香はきつくないとするとこのＷＴＰはきつくてそれにそれは奥深い

仮説: このＷＴＰはきつくてさらに奥深い
1. 事実13から、推論1: "もしその練り香がきついとするとそれは思い煩わないしまた憎しない"が導かれる
2. 仮定1: 以下のように仮定する。その練り香はきつい
3. 推論1と仮定1から、推論2: "その練り香は思い煩わないし憎しない"が導かれる
4. 推論2から、推論3: "その練り香は憎しない"が導かれる
5. 事実14と事実8から、推論4: "その練り香は憎し"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その練り香はきつくない"が導かれる
8. 推論6と事実15から、仮説が導かれる

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