あのＥＨＥＣは賢くない
fact1: もしもこのウェブが待ち合わせるとするとこの禁欲は心苦しくない fact2: このウェブは法律関係だ fact3: もしも何らかのものがみみっちくないかもしくは香ばしいということはないか両方であるとすればあのウェブは御無礼しない fact4: すべては程無くなくてそれは御偉くない fact5: あのＥＨＥＣは言い置く fact6: もしもある物は御無礼しないなら「それは用意であるかあるいは所属しないかまたは両方だ」ということは嘘である fact7: もしこの禁欲が心苦しくないか言い置くかあるいはどちらもであるならあのＥＨＥＣは賢いということはない fact8: もし仮にこのウェブが待ち合わせるかあるいは法律関係であるか両方ともだとすればこの禁欲は心苦しくない fact9: 仮にこのウェブが言い置かないならばあのＥＨＥＣは心苦しいけど法律関係でない fact10: なにがしかのものが程無くないとしたらみみっちくないかもしくはそれは香ばしかないかもしくは両方だ fact11: あのＥＨＥＣは待ち合わせない fact12: もしも何かは待ち合わせるとしたらそれは賢い fact13: この禁欲は心苦しいかまたは言い置くかもしくは両方ともだ fact14: もし「「何かは用意であるかまたはそれは所属しない」ということは成り立つ」ということは偽ならばそれは言い置かない fact15: この軍律は賢くない
fact2 -> int1: このウェブは待ち合わせるかもしくは法律関係であるかあるいはどちらもである; int1 & fact8 -> int2: この禁欲は心苦しくない; int2 -> int3: この禁欲は心苦しくないかもしくは言い置くかあるいは両方ともである; int3 & fact7 -> hypothesis;
あのＥＨＥＣは賢い
fact18 -> int4: 仮に「あのＥＨＥＣは待ち合わせる」ということは成り立てばそれは賢い; fact22 -> int5: もし「このウェブは用意であるかまたは所属しないかどちらもである」ということは誤りであるなら「それは言い置かない」ということは本当である; fact20 -> int6: この禁欲は程無いということはないとすると「それはみみっちくないかまたは香ばしかない」ということは確かである; fact21 -> int7: あのウィザードは程無くないしそれは御偉くない; int7 -> int8: 「あのウィザードは程無くない」ということは本当だ; int8 -> int9: 全ての物は程無くない; int9 -> int10: この禁欲は程無くない; int6 & int10 -> int11: この禁欲はみみっちくないかあるいは香ばしかないかまたはどちらもである; int11 -> int12: ある物はみみっちくないかあるいはそれは香ばしかない; fact17 & int12 -> int13: このウェブは御無礼するということはない; fact19 -> int14: このウェブは御無礼しないなら「それは用意であるか所属しないかどちらもだ」ということは成り立たない; int13 & int14 -> int15: 「このウェブは用意であるか所属しないかまたは両方である」ということは成り立つということはない; int5 & int15 -> int16: このウェブは言い置くということはない; int16 & fact16 -> int17: あのＥＨＥＣは心苦しい一方でそれは法律関係でない;
$facts$ = fact1: もしもこのウェブが待ち合わせるとするとこの禁欲は心苦しくない fact2: このウェブは法律関係だ fact3: もしも何らかのものがみみっちくないかもしくは香ばしいということはないか両方であるとすればあのウェブは御無礼しない fact4: すべては程無くなくてそれは御偉くない fact5: あのＥＨＥＣは言い置く fact6: もしもある物は御無礼しないなら「それは用意であるかあるいは所属しないかまたは両方だ」ということは嘘である fact7: もしこの禁欲が心苦しくないか言い置くかあるいはどちらもであるならあのＥＨＥＣは賢いということはない fact8: もし仮にこのウェブが待ち合わせるかあるいは法律関係であるか両方ともだとすればこの禁欲は心苦しくない fact9: 仮にこのウェブが言い置かないならばあのＥＨＥＣは心苦しいけど法律関係でない fact10: なにがしかのものが程無くないとしたらみみっちくないかもしくはそれは香ばしかないかもしくは両方だ fact11: あのＥＨＥＣは待ち合わせない fact12: もしも何かは待ち合わせるとしたらそれは賢い fact13: この禁欲は心苦しいかまたは言い置くかもしくは両方ともだ fact14: もし「「何かは用意であるかまたはそれは所属しない」ということは成り立つ」ということは偽ならばそれは言い置かない fact15: この軍律は賢くない ; $hypothesis$ = あのＥＨＥＣは賢くない ; $proof$ = 
fact2 -> int1: このウェブは待ち合わせるかもしくは法律関係であるかあるいはどちらもである; int1 & fact8 -> int2: この禁欲は心苦しくない; int2 -> int3: この禁欲は心苦しくないかもしくは言い置くかあるいは両方ともである; int3 & fact7 -> hypothesis; __PROVED__
事実1: もしもこのウェブが待ち合わせるとするとこの禁欲は心苦しくない
事実2: このウェブは法律関係だ
事実3: もしも何らかのものがみみっちくないかもしくは香ばしいということはないか両方であるとすればあのウェブは御無礼しない
事実4: すべては程無くなくてそれは御偉くない
事実5: あのＥＨＥＣは言い置く
事実6: もしもある物は御無礼しないなら「それは用意であるかあるいは所属しないかまたは両方だ」ということは嘘である
事実7: もしこの禁欲が心苦しくないか言い置くかあるいはどちらもであるならあのＥＨＥＣは賢いということはない
事実8: もし仮にこのウェブが待ち合わせるかあるいは法律関係であるか両方ともだとすればこの禁欲は心苦しくない
事実9: 仮にこのウェブが言い置かないならばあのＥＨＥＣは心苦しいけど法律関係でない
事実10: なにがしかのものが程無くないとしたらみみっちくないかもしくはそれは香ばしかないかもしくは両方だ
事実11: あのＥＨＥＣは待ち合わせない
事実12: もしも何かは待ち合わせるとしたらそれは賢い
事実13: この禁欲は心苦しいかまたは言い置くかもしくは両方ともだ
事実14: もし「「何かは用意であるかまたはそれは所属しない」ということは成り立つ」ということは偽ならばそれは言い置かない
事実15: この軍律は賢くない

仮説: あのＥＨＥＣは賢くない
1. 事実2から、推論1: "このウェブは待ち合わせるかもしくは法律関係であるかあるいはどちらもである"が導かれる
2. 推論1と事実8から、推論2: "この禁欲は心苦しくない"が導かれる
3. 推論2から、推論3: "この禁欲は心苦しくないかもしくは言い置くかあるいは両方ともである"が導かれる
4. 推論3と事実7から、仮説が導かれる

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