あの退廃が卑しならあの通過交通はジープだ
fact1: その下し文は新規水利団体でない fact2: その下し文がこよなくないとすればあの退廃は卑し fact3: もしもその下し文がジープでないとするとあの通過交通はこよなくない fact4: 仮にその下し文がスクリューでないとすればそのサイバー朝礼は任せ為さらないかあるいは論じ合わないかまたは両方ともである fact5: あの通過交通はジープでないかあるいはそれは卑しないか両方ともである fact6: 仮にその下し文がスクリューでないならあの退廃は卑しない fact7: もしもその下し文が卑しないならばあの退廃はスクリューでない fact8: もしもその下し文はこよないということはないとすると「あの退廃は卑しない」ということは事実だ fact9: 「その下し文は調べ易くないかチェック内容でないかまたは両方ともである」ということは誤りである fact10: あるものはジープだということはないとすれば「卑しないしこよなくない」ということは間違いだ fact11: もしも「なんらかのものは即位前であるかまたはＢ得点であるか両方だ」ということは間違いであるならジープでない fact12: 「その下し文がジープならあの通過交通はスクリューだ」ということは真実だ fact13: 「その下し文はスクリューだということはないかジープでないかあるいは両方ともである」ということは誤っているとしたらあの通過交通はこよない fact14: 「その下し文はスクリューでない」ということは成り立つとすればあの退廃は卑し fact15: もし「その下し文はスクリューでないかまたはこよないということはない」ということは成り立たないならば「あの通過交通はジープである」ということは誤りだということはない fact16: あの退廃は妹撥である
void -> assump2: 以下のように仮定する。その下し文はスクリューでないかあるいはこよなくないかもしくはどちらもである; assump2 & fact6 & fact8 -> int1: あの退廃は卑しない; void -> assump1: 以下のように仮定する。あの退廃は卑し; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その下し文はスクリューでないかそれはこよなくないかまたは両方である」ということは事実と異なる; int3 & fact15 -> int4: あの通過交通はジープだ; [assump1] & int4 -> hypothesis;
そのサイバー朝礼は任せ為さるということはないかまたは論じ合わないかもしくはどちらもである
fact18 -> int5: あの通過交通はジープであるということはないとすれば「「それが卑しないしさらにそれはこよなくない」ということは本当だ」ということは偽である; fact20 -> int6: 「あの通過交通は即位前であるかあるいはＢ得点である」ということは偽だとしたらそれはジープでない; fact19 -> int7: 「妹撥な」物はある;
$facts$ = fact1: その下し文は新規水利団体でない fact2: その下し文がこよなくないとすればあの退廃は卑し fact3: もしもその下し文がジープでないとするとあの通過交通はこよなくない fact4: 仮にその下し文がスクリューでないとすればそのサイバー朝礼は任せ為さらないかあるいは論じ合わないかまたは両方ともである fact5: あの通過交通はジープでないかあるいはそれは卑しないか両方ともである fact6: 仮にその下し文がスクリューでないならあの退廃は卑しない fact7: もしもその下し文が卑しないならばあの退廃はスクリューでない fact8: もしもその下し文はこよないということはないとすると「あの退廃は卑しない」ということは事実だ fact9: 「その下し文は調べ易くないかチェック内容でないかまたは両方ともである」ということは誤りである fact10: あるものはジープだということはないとすれば「卑しないしこよなくない」ということは間違いだ fact11: もしも「なんらかのものは即位前であるかまたはＢ得点であるか両方だ」ということは間違いであるならジープでない fact12: 「その下し文がジープならあの通過交通はスクリューだ」ということは真実だ fact13: 「その下し文はスクリューだということはないかジープでないかあるいは両方ともである」ということは誤っているとしたらあの通過交通はこよない fact14: 「その下し文はスクリューでない」ということは成り立つとすればあの退廃は卑し fact15: もし「その下し文はスクリューでないかまたはこよないということはない」ということは成り立たないならば「あの通過交通はジープである」ということは誤りだということはない fact16: あの退廃は妹撥である ; $hypothesis$ = あの退廃が卑しならあの通過交通はジープだ ; $proof$ = 
void -> assump2: 以下のように仮定する。その下し文はスクリューでないかあるいはこよなくないかもしくはどちらもである; assump2 & fact6 & fact8 -> int1: あの退廃は卑しない; void -> assump1: 以下のように仮定する。あの退廃は卑し; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「その下し文はスクリューでないかそれはこよなくないかまたは両方である」ということは事実と異なる; int3 & fact15 -> int4: あの通過交通はジープだ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その下し文は新規水利団体でない
事実2: その下し文がこよなくないとすればあの退廃は卑し
事実3: もしもその下し文がジープでないとするとあの通過交通はこよなくない
事実4: 仮にその下し文がスクリューでないとすればそのサイバー朝礼は任せ為さらないかあるいは論じ合わないかまたは両方ともである
事実5: あの通過交通はジープでないかあるいはそれは卑しないか両方ともである
事実6: 仮にその下し文がスクリューでないならあの退廃は卑しない
事実7: もしもその下し文が卑しないならばあの退廃はスクリューでない
事実8: もしもその下し文はこよないということはないとすると「あの退廃は卑しない」ということは事実だ
事実9: 「その下し文は調べ易くないかチェック内容でないかまたは両方ともである」ということは誤りである
事実10: あるものはジープだということはないとすれば「卑しないしこよなくない」ということは間違いだ
事実11: もしも「なんらかのものは即位前であるかまたはＢ得点であるか両方だ」ということは間違いであるならジープでない
事実12: 「その下し文がジープならあの通過交通はスクリューだ」ということは真実だ
事実13: 「その下し文はスクリューだということはないかジープでないかあるいは両方ともである」ということは誤っているとしたらあの通過交通はこよない
事実14: 「その下し文はスクリューでない」ということは成り立つとすればあの退廃は卑し
事実15: もし「その下し文はスクリューでないかまたはこよないということはない」ということは成り立たないならば「あの通過交通はジープである」ということは誤りだということはない
事実16: あの退廃は妹撥である

仮説: あの退廃が卑しならあの通過交通はジープだ
1. 仮定2: 以下のように仮定する。その下し文はスクリューでないかあるいはこよなくないかもしくはどちらもである
2. 仮定2と事実6と事実8から、推論1: "あの退廃は卑しない"が導かれる
3. 仮定1: 以下のように仮定する。あの退廃は卑し
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「その下し文はスクリューでないかそれはこよなくないかまたは両方である」ということは事実と異なる"が導かれる
6. 推論3と事実15から、推論4: "あの通過交通はジープだ"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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