この新自治令は直角三角形でない
fact1: この要求払い預金は聞き成れるがど偉くない fact2: この作り目は直角三角形であるけどそれはど偉くない fact3: この作り目が答え易くないししかもど偉くないならばこの神仏習合は蒔き付けない fact4: もし仮にあの四年毎が準ずないとすればあの代車料は棚引くが準ずない fact5: この反抗は直角三角形だということはなくておまけに坊主共だということはない fact6: もしも「この大陸は然りかもしくは蒔き付けるということはない」ということは嘘だとすればあの四年毎は準ずない fact7: もし「あるものは蒔き付けるしそれは準ず」ということは嘘であるとすると蒔き付けない fact8: とある物はど偉いしかつそれは直角三角形だ fact9: もし仮にこの反抗が蒔き付けない一方でど偉いとしたらこの代車料は棚引くということはない fact10: この作り目がど偉くないならばこの大陸はど偉い fact11: もしもこの反抗がど偉くないならばこの作り目は答え易くなくてど偉いということはない fact12: もし何らかのものが棚引くけれどそれが準ずないならこの新自治令は直角三角形でない fact13: もしこの神仏習合は蒔き付けないとしたら「この大陸は然りか蒔き付けないか両方ともである」ということは成り立たない fact14: もしなにがしかのものが蒔き付けるということはないとすればそれはど偉くなくて更に答え易いということはない fact15: もし仮にこの大陸が蒔き付けないならばあの新自治令は蒔き付けない fact16: この反抗は直角三角形だとすれば「この新自治令は直角三角形である」ということは成り立つ fact17: この反抗は坊主共でなくてそれはど偉くない fact18: とあるものは坊主共であるけどど偉いということはない fact19: もしこの作り目が答え易くなくてそれが坊主共でないとするとこの反抗は棚引くということはない
fact17 -> int1: この反抗はど偉くない; int1 & fact11 -> int2: この作り目は答え易くないしそれにど偉くない; int2 & fact3 -> int3: この神仏習合は蒔き付けない; int3 & fact13 -> int4: 「この大陸は然りかあるいは蒔き付けるということはないかもしくは両方ともである」ということは誤っている; int4 & fact6 -> int5: あの四年毎は準ずない; int5 & fact4 -> int6: この代車料は棚引くが準ずない; int6 -> int7: 「棚引く一方で準ずない」物はある; int7 & fact12 -> hypothesis;
この新自治令は直角三角形だ
fact21 -> int8: 仮にこの作り目が蒔き付けないとすればそれはど偉くなくて加えて答え易くない; fact20 -> int9: 「この作り目は蒔き付けるし加えて準ず」ということは偽だとすると蒔き付けない;
$facts$ = fact1: この要求払い預金は聞き成れるがど偉くない fact2: この作り目は直角三角形であるけどそれはど偉くない fact3: この作り目が答え易くないししかもど偉くないならばこの神仏習合は蒔き付けない fact4: もし仮にあの四年毎が準ずないとすればあの代車料は棚引くが準ずない fact5: この反抗は直角三角形だということはなくておまけに坊主共だということはない fact6: もしも「この大陸は然りかもしくは蒔き付けるということはない」ということは嘘だとすればあの四年毎は準ずない fact7: もし「あるものは蒔き付けるしそれは準ず」ということは嘘であるとすると蒔き付けない fact8: とある物はど偉いしかつそれは直角三角形だ fact9: もし仮にこの反抗が蒔き付けない一方でど偉いとしたらこの代車料は棚引くということはない fact10: この作り目がど偉くないならばこの大陸はど偉い fact11: もしもこの反抗がど偉くないならばこの作り目は答え易くなくてど偉いということはない fact12: もし何らかのものが棚引くけれどそれが準ずないならこの新自治令は直角三角形でない fact13: もしこの神仏習合は蒔き付けないとしたら「この大陸は然りか蒔き付けないか両方ともである」ということは成り立たない fact14: もしなにがしかのものが蒔き付けるということはないとすればそれはど偉くなくて更に答え易いということはない fact15: もし仮にこの大陸が蒔き付けないならばあの新自治令は蒔き付けない fact16: この反抗は直角三角形だとすれば「この新自治令は直角三角形である」ということは成り立つ fact17: この反抗は坊主共でなくてそれはど偉くない fact18: とあるものは坊主共であるけどど偉いということはない fact19: もしこの作り目が答え易くなくてそれが坊主共でないとするとこの反抗は棚引くということはない ; $hypothesis$ = この新自治令は直角三角形でない ; $proof$ = 
fact17 -> int1: この反抗はど偉くない; int1 & fact11 -> int2: この作り目は答え易くないしそれにど偉くない; int2 & fact3 -> int3: この神仏習合は蒔き付けない; int3 & fact13 -> int4: 「この大陸は然りかあるいは蒔き付けるということはないかもしくは両方ともである」ということは誤っている; int4 & fact6 -> int5: あの四年毎は準ずない; int5 & fact4 -> int6: この代車料は棚引くが準ずない; int6 -> int7: 「棚引く一方で準ずない」物はある; int7 & fact12 -> hypothesis; __PROVED__
事実1: この要求払い預金は聞き成れるがど偉くない
事実2: この作り目は直角三角形であるけどそれはど偉くない
事実3: この作り目が答え易くないししかもど偉くないならばこの神仏習合は蒔き付けない
事実4: もし仮にあの四年毎が準ずないとすればあの代車料は棚引くが準ずない
事実5: この反抗は直角三角形だということはなくておまけに坊主共だということはない
事実6: もしも「この大陸は然りかもしくは蒔き付けるということはない」ということは嘘だとすればあの四年毎は準ずない
事実7: もし「あるものは蒔き付けるしそれは準ず」ということは嘘であるとすると蒔き付けない
事実8: とある物はど偉いしかつそれは直角三角形だ
事実9: もし仮にこの反抗が蒔き付けない一方でど偉いとしたらこの代車料は棚引くということはない
事実10: この作り目がど偉くないならばこの大陸はど偉い
事実11: もしもこの反抗がど偉くないならばこの作り目は答え易くなくてど偉いということはない
事実12: もし何らかのものが棚引くけれどそれが準ずないならこの新自治令は直角三角形でない
事実13: もしこの神仏習合は蒔き付けないとしたら「この大陸は然りか蒔き付けないか両方ともである」ということは成り立たない
事実14: もしなにがしかのものが蒔き付けるということはないとすればそれはど偉くなくて更に答え易いということはない
事実15: もし仮にこの大陸が蒔き付けないならばあの新自治令は蒔き付けない
事実16: この反抗は直角三角形だとすれば「この新自治令は直角三角形である」ということは成り立つ
事実17: この反抗は坊主共でなくてそれはど偉くない
事実18: とあるものは坊主共であるけどど偉いということはない
事実19: もしこの作り目が答え易くなくてそれが坊主共でないとするとこの反抗は棚引くということはない

仮説: この新自治令は直角三角形でない
1. 事実17から、推論1: "この反抗はど偉くない"が導かれる
2. 推論1と事実11から、推論2: "この作り目は答え易くないしそれにど偉くない"が導かれる
3. 推論2と事実3から、推論3: "この神仏習合は蒔き付けない"が導かれる
4. 推論3と事実13から、推論4: "「この大陸は然りかあるいは蒔き付けるということはないかもしくは両方ともである」ということは誤っている"が導かれる
5. 推論4と事実6から、推論5: "あの四年毎は準ずない"が導かれる
6. 推論5と事実4から、推論6: "この代車料は棚引くが準ずない"が導かれる
7. 推論6から、推論7: "「棚引く一方で準ずない」物はある"が導かれる
8. 推論7と事実12から、仮説が導かれる

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