「もしあの方向音痴が乱暴でないならこの青ガラはうじうじしない」ということは成り立つということはない
fact1: もしもこのフルニトラゼパムは期し難いとすると「この青ガラは愚かしくなくて加えて期し難いということはない」ということは誤っている fact2: もしあの方向音痴が乱暴だということはないならこの青ガラはうじうじする fact3: もし「何かは愚かしくなくて加えて期し難いということはない」ということは成り立たないとするとそれはうじうじしない fact4: このフルニトラゼパムは気分転換しない fact5: あの方向音痴は引っ込めない一方でうじうじする fact6: もしも「このフルニトラゼパムは入学でないしその上期し難くない」ということは誤っているならうじうじしない fact7: あの方向音痴が発信源だしおまけにそれは入学だ fact8: もしあの方向音痴が気分転換しないけど発信源だとすればこのフルニトラゼパムは期し難い fact9: 仮にあの方向音痴が愚かしいならこの青ガラは発信源でない fact10: 仮になにかは乱暴でないとすると気分転換しない
fact10 -> int1: もしもあの方向音痴は乱暴でないとするとそれは気分転換しない; void -> assump1: 以下のように仮定する。あの方向音痴は乱暴でない; int1 & assump1 -> int2: あの方向音痴は気分転換しない; fact7 -> int3: あの方向音痴は発信源だ; int2 & int3 -> int4: あの方向音痴は気分転換しないが発信源だ; int4 & fact8 -> int5: このフルニトラゼパムは期し難い; int5 & fact1 -> int6: 「この青ガラは愚かしくなくてそれは期し難いということはない」ということは確かでない; fact3 -> int7: もしも「この青ガラが愚かしくないしさらに期し難くない」ということは事実と異なれば「うじうじしない」ということは成り立つ; int6 & int7 -> int8: この青ガラはうじうじするということはない; [assump1] & int8 -> hypothesis;
$facts$ = fact1: もしもこのフルニトラゼパムは期し難いとすると「この青ガラは愚かしくなくて加えて期し難いということはない」ということは誤っている fact2: もしあの方向音痴が乱暴だということはないならこの青ガラはうじうじする fact3: もし「何かは愚かしくなくて加えて期し難いということはない」ということは成り立たないとするとそれはうじうじしない fact4: このフルニトラゼパムは気分転換しない fact5: あの方向音痴は引っ込めない一方でうじうじする fact6: もしも「このフルニトラゼパムは入学でないしその上期し難くない」ということは誤っているならうじうじしない fact7: あの方向音痴が発信源だしおまけにそれは入学だ fact8: もしあの方向音痴が気分転換しないけど発信源だとすればこのフルニトラゼパムは期し難い fact9: 仮にあの方向音痴が愚かしいならこの青ガラは発信源でない fact10: 仮になにかは乱暴でないとすると気分転換しない ; $hypothesis$ = 「もしあの方向音痴が乱暴でないならこの青ガラはうじうじしない」ということは成り立つということはない ; $proof$ = 
fact10 -> int1: もしもあの方向音痴は乱暴でないとするとそれは気分転換しない; void -> assump1: 以下のように仮定する。あの方向音痴は乱暴でない; int1 & assump1 -> int2: あの方向音痴は気分転換しない; fact7 -> int3: あの方向音痴は発信源だ; int2 & int3 -> int4: あの方向音痴は気分転換しないが発信源だ; int4 & fact8 -> int5: このフルニトラゼパムは期し難い; int5 & fact1 -> int6: 「この青ガラは愚かしくなくてそれは期し難いということはない」ということは確かでない; fact3 -> int7: もしも「この青ガラが愚かしくないしさらに期し難くない」ということは事実と異なれば「うじうじしない」ということは成り立つ; int6 & int7 -> int8: この青ガラはうじうじするということはない; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もしもこのフルニトラゼパムは期し難いとすると「この青ガラは愚かしくなくて加えて期し難いということはない」ということは誤っている
事実2: もしあの方向音痴が乱暴だということはないならこの青ガラはうじうじする
事実3: もし「何かは愚かしくなくて加えて期し難いということはない」ということは成り立たないとするとそれはうじうじしない
事実4: このフルニトラゼパムは気分転換しない
事実5: あの方向音痴は引っ込めない一方でうじうじする
事実6: もしも「このフルニトラゼパムは入学でないしその上期し難くない」ということは誤っているならうじうじしない
事実7: あの方向音痴が発信源だしおまけにそれは入学だ
事実8: もしあの方向音痴が気分転換しないけど発信源だとすればこのフルニトラゼパムは期し難い
事実9: 仮にあの方向音痴が愚かしいならこの青ガラは発信源でない
事実10: 仮になにかは乱暴でないとすると気分転換しない

仮説: 「もしあの方向音痴が乱暴でないならこの青ガラはうじうじしない」ということは成り立つということはない
1. 事実10から、推論1: "もしもあの方向音痴は乱暴でないとするとそれは気分転換しない"が導かれる
2. 仮定1: 以下のように仮定する。あの方向音痴は乱暴でない
3. 推論1と仮定1から、推論2: "あの方向音痴は気分転換しない"が導かれる
4. 事実7から、推論3: "あの方向音痴は発信源だ"が導かれる
5. 推論2と推論3から、推論4: "あの方向音痴は気分転換しないが発信源だ"が導かれる
6. 推論4と事実8から、推論5: "このフルニトラゼパムは期し難い"が導かれる
7. 推論5と事実1から、推論6: "「この青ガラは愚かしくなくてそれは期し難いということはない」ということは確かでない"が導かれる
8. 事実3から、推論7: "もしも「この青ガラが愚かしくないしさらに期し難くない」ということは事実と異なれば「うじうじしない」ということは成り立つ"が導かれる
9. 推論6と推論7から、推論8: "この青ガラはうじうじするということはない"が導かれる
10. [仮定1]と推論8から、仮説が否定される

よって、仮説が否定されました。