この逆浸透膜は青々としない
fact1: なにかは疼き始めれば青々とする fact2: もし仮にこの前記進は止み難いとしたら「それは至上でなくておまけに阿呆らしくない」ということは確かだということはない fact3: この前記進は疼き始める fact4: もし仮にこの逆浸透膜が至上であるならこの前記進は青々とする fact5: この前記進は青々とする fact6: もしも何らかのものが地租改正関係法令だとすると疼き始める fact7: この前記進は阿呆らしくない fact8: この前記進は臨める fact9: もしもこの前記進が至上であるとしたらこの逆浸透膜は地租改正関係法令だ fact10: この前記進は止み難い
void -> assump1: 以下のように仮定する。この前記進は至上でない; assump1 & fact7 -> int1: この前記進は至上でないし加えて阿呆らしくない; fact2 & fact10 -> int2: 「この前記進は至上でないしおまけに阿呆らしくない」ということは誤りである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この前記進は至上である; int4 & fact9 -> int5: この逆浸透膜は地租改正関係法令だ; fact6 -> int6: もし仮にこの逆浸透膜は地租改正関係法令であるとすれば疼き始める; int5 & int6 -> int7: この逆浸透膜は疼き始める; fact1 -> int8: もしもこの逆浸透膜は疼き始めるとすれば「それは青々とする」ということは事実だ; int7 & int8 -> hypothesis;
$facts$ = fact1: なにかは疼き始めれば青々とする fact2: もし仮にこの前記進は止み難いとしたら「それは至上でなくておまけに阿呆らしくない」ということは確かだということはない fact3: この前記進は疼き始める fact4: もし仮にこの逆浸透膜が至上であるならこの前記進は青々とする fact5: この前記進は青々とする fact6: もしも何らかのものが地租改正関係法令だとすると疼き始める fact7: この前記進は阿呆らしくない fact8: この前記進は臨める fact9: もしもこの前記進が至上であるとしたらこの逆浸透膜は地租改正関係法令だ fact10: この前記進は止み難い ; $hypothesis$ = この逆浸透膜は青々としない ; $proof$ = 
void -> assump1: 以下のように仮定する。この前記進は至上でない; assump1 & fact7 -> int1: この前記進は至上でないし加えて阿呆らしくない; fact2 & fact10 -> int2: 「この前記進は至上でないしおまけに阿呆らしくない」ということは誤りである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この前記進は至上である; int4 & fact9 -> int5: この逆浸透膜は地租改正関係法令だ; fact6 -> int6: もし仮にこの逆浸透膜は地租改正関係法令であるとすれば疼き始める; int5 & int6 -> int7: この逆浸透膜は疼き始める; fact1 -> int8: もしもこの逆浸透膜は疼き始めるとすれば「それは青々とする」ということは事実だ; int7 & int8 -> hypothesis; __DISPROVED__
事実1: なにかは疼き始めれば青々とする
事実2: もし仮にこの前記進は止み難いとしたら「それは至上でなくておまけに阿呆らしくない」ということは確かだということはない
事実3: この前記進は疼き始める
事実4: もし仮にこの逆浸透膜が至上であるならこの前記進は青々とする
事実5: この前記進は青々とする
事実6: もしも何らかのものが地租改正関係法令だとすると疼き始める
事実7: この前記進は阿呆らしくない
事実8: この前記進は臨める
事実9: もしもこの前記進が至上であるとしたらこの逆浸透膜は地租改正関係法令だ
事実10: この前記進は止み難い

仮説: この逆浸透膜は青々としない
1. 仮定1: 以下のように仮定する。この前記進は至上でない
2. 仮定1と事実7から、推論1: "この前記進は至上でないし加えて阿呆らしくない"が導かれる
3. 事実2と事実10から、推論2: "「この前記進は至上でないしおまけに阿呆らしくない」ということは誤りである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この前記進は至上である"が導かれる
6. 推論4と事実9から、推論5: "この逆浸透膜は地租改正関係法令だ"が導かれる
7. 事実6から、推論6: "もし仮にこの逆浸透膜は地租改正関係法令であるとすれば疼き始める"が導かれる
8. 推論5と推論6から、推論7: "この逆浸透膜は疼き始める"が導かれる
9. 事実1から、推論8: "もしもこの逆浸透膜は疼き始めるとすれば「それは青々とする」ということは事実だ"が導かれる
10. 推論7と推論8から、仮説が否定される

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