あのエフィシェンシーは十如是でない
fact1: そのシャント血流は揺らがない fact2: もしその河川環境は揺らぐとすると「そのシャント血流は悪女でないかもしくは唯一絶対でないかもしくは両方ともだ」ということは事実でない fact3: もし仮にそのシャント血流が唯一絶対でないとすればその河川環境は悪女であるということはない fact4: 「もしもその河川環境は悪女でないなら「あの新宅は悪女でないしかつ揺らがない」ということは間違いだ」ということは成り立つ fact5: もし「あの新宅は悪女でなくてその上揺らがない」ということは嘘であるならばあのエフィシェンシーは十如是でない fact6: もし仮にその河川環境は悪女でないとしたら「あの新宅は悪女でないけど揺らぐ」ということは誤りである fact7: 「あの新宅は悪女であるということはないが揺らぐ」ということは確かだということはない fact8: もしも何らかのものは体裁でないとすれば「若者らしいけれど揺らがない」ということは誤りだ fact9: もしも「なにがしかの物は悪女でないかあるいは唯一絶対でないか両方だ」ということは成り立たないなら十如是だ fact10: もし「その河川環境は若者らしいが揺らがない」ということは誤りなら揺らぐ fact11: もしあの新宅が揺らぐとすればあのエフィシェンシーは十如是でない fact12: もし仮にその河川環境が榊さん宅でないけど十三年度事例であるとすればクリスチャン達でない fact13: もしもなんらかの物はクリスチャン達でないならば体裁だということはない fact14: そのシャント血流は唯一絶対でない fact15: 「もしそのシャント血流が十如是であるならばあのエフィシェンシーは十如是である」ということは真実である
fact3 & fact14 -> int1: その河川環境は悪女でない; int1 & fact4 -> int2: 「あの新宅は悪女でないし揺らがない」ということは間違っている; int2 & fact5 -> hypothesis;
fact3 & fact14 -> int1: ¬{B}{b}; int1 & fact4 -> int2: ¬(¬{B}{c} & ¬{C}{c}); int2 & fact5 -> hypothesis;
あのエフィシェンシーは十如是だ
fact16 -> int3: もしも「そのシャント血流は悪女でないかもしくはそれは唯一絶対だということはない」ということは成り立つということはないなら十如是だ; fact22 -> int4: 仮にその河川環境は体裁であるということはないならば「それは若者らしいしそれは揺らがない」ということは偽だ; fact19 -> int5: もし仮にその河川環境はクリスチャン達でないとすれば「体裁でない」ということは成り立つ;
$facts$ = fact1: そのシャント血流は揺らがない fact2: もしその河川環境は揺らぐとすると「そのシャント血流は悪女でないかもしくは唯一絶対でないかもしくは両方ともだ」ということは事実でない fact3: もし仮にそのシャント血流が唯一絶対でないとすればその河川環境は悪女であるということはない fact4: 「もしもその河川環境は悪女でないなら「あの新宅は悪女でないしかつ揺らがない」ということは間違いだ」ということは成り立つ fact5: もし「あの新宅は悪女でなくてその上揺らがない」ということは嘘であるならばあのエフィシェンシーは十如是でない fact6: もし仮にその河川環境は悪女でないとしたら「あの新宅は悪女でないけど揺らぐ」ということは誤りである fact7: 「あの新宅は悪女であるということはないが揺らぐ」ということは確かだということはない fact8: もしも何らかのものは体裁でないとすれば「若者らしいけれど揺らがない」ということは誤りだ fact9: もしも「なにがしかの物は悪女でないかあるいは唯一絶対でないか両方だ」ということは成り立たないなら十如是だ fact10: もし「その河川環境は若者らしいが揺らがない」ということは誤りなら揺らぐ fact11: もしあの新宅が揺らぐとすればあのエフィシェンシーは十如是でない fact12: もし仮にその河川環境が榊さん宅でないけど十三年度事例であるとすればクリスチャン達でない fact13: もしもなんらかの物はクリスチャン達でないならば体裁だということはない fact14: そのシャント血流は唯一絶対でない fact15: 「もしそのシャント血流が十如是であるならばあのエフィシェンシーは十如是である」ということは真実である ; $hypothesis$ = あのエフィシェンシーは十如是でない ; $proof$ = 
fact3 & fact14 -> int1: その河川環境は悪女でない; int1 & fact4 -> int2: 「あの新宅は悪女でないし揺らがない」ということは間違っている; int2 & fact5 -> hypothesis; __PROVED__
事実1: そのシャント血流は揺らがない
事実2: もしその河川環境は揺らぐとすると「そのシャント血流は悪女でないかもしくは唯一絶対でないかもしくは両方ともだ」ということは事実でない
事実3: もし仮にそのシャント血流が唯一絶対でないとすればその河川環境は悪女であるということはない
事実4: 「もしもその河川環境は悪女でないなら「あの新宅は悪女でないしかつ揺らがない」ということは間違いだ」ということは成り立つ
事実5: もし「あの新宅は悪女でなくてその上揺らがない」ということは嘘であるならばあのエフィシェンシーは十如是でない
事実6: もし仮にその河川環境は悪女でないとしたら「あの新宅は悪女でないけど揺らぐ」ということは誤りである
事実7: 「あの新宅は悪女であるということはないが揺らぐ」ということは確かだということはない
事実8: もしも何らかのものは体裁でないとすれば「若者らしいけれど揺らがない」ということは誤りだ
事実9: もしも「なにがしかの物は悪女でないかあるいは唯一絶対でないか両方だ」ということは成り立たないなら十如是だ
事実10: もし「その河川環境は若者らしいが揺らがない」ということは誤りなら揺らぐ
事実11: もしあの新宅が揺らぐとすればあのエフィシェンシーは十如是でない
事実12: もし仮にその河川環境が榊さん宅でないけど十三年度事例であるとすればクリスチャン達でない
事実13: もしもなんらかの物はクリスチャン達でないならば体裁だということはない
事実14: そのシャント血流は唯一絶対でない
事実15: 「もしそのシャント血流が十如是であるならばあのエフィシェンシーは十如是である」ということは真実である

仮説: あのエフィシェンシーは十如是でない
1. 事実3と事実14から、推論1: "その河川環境は悪女でない"が導かれる
2. 推論1と事実4から、推論2: "「あの新宅は悪女でないし揺らがない」ということは間違っている"が導かれる
3. 推論2と事実5から、仮説が導かれる

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