あの流れ方は遠流でない
fact1: もしもその誘致話は限り無しならば「そのディエス・イレは酔う」ということは誤りでない fact2: もしもこの教師相互は吸い続けないとしたら「それは狭くてそれは緑肥でない」ということは嘘である fact3: もし「そのディエス・イレは酔う」ということは確かであるとすれば「この教師相互は主効果である」ということは成り立つ fact4: もしもこの教師相互は接近し易くないとすればそれは発揮し易いしかつ大型投資である fact5: もしもこの教師相互が主効果であるとしたらあの流れ方は遠流だ fact6: もしもある物は大型投資でないならば「それは酔うしまた主効果である」ということは間違いである fact7: あの流れ方は主効果だ fact8: その誘致話は抜き出すかまたはそれは限り無しかもしくは両方だ fact9: もしも「「この教師相互は狭い一方で緑肥でない」ということは事実と異なる」ということは成り立つとしたら接近し易くない fact10: 「その特定事項は遠流である」ということは成り立つ fact11: もし仮にとあるものが酔わないとすれば限り無しないしかつ抜き出さない fact12: もしもあの流れ方が主効果だとしたらこの教師相互は遠流である fact13: その誘致話は入り難い fact14: もしもその誘致話が主効果であるとするとこの教師相互は限り無し fact15: もしこの教師相互が発揮し易いし大型投資であるならその誘致話は大型投資であるということはない fact16: 「もし仮に「その誘致話は抜き出す」ということは確かだとすればそのディエス・イレは酔う」ということは成り立つ fact17: この教師相互は吸い続けない
fact8 & fact16 & fact1 -> int1: そのディエス・イレは酔う; int1 & fact3 -> int2: この教師相互は主効果だ; int2 & fact5 -> hypothesis;
あの流れ方は遠流でない
fact24 -> int3: もし仮にその誘致話が酔わないとするとそれは限り無しないし抜き出さない; fact19 -> int4: その誘致話は大型投資でないとすると「酔うし主効果である」ということは偽である; fact22 & fact23 -> int5: 「この教師相互は狭いけれど緑肥でない」ということは成り立たない; fact20 & int5 -> int6: 「この教師相互は接近し易くない」ということは本当だ; fact21 & int6 -> int7: この教師相互は発揮し易くてかつ大型投資だ; fact18 & int7 -> int8: その誘致話は大型投資でない; int4 & int8 -> int9: 「その誘致話は酔うしおまけに主効果である」ということは偽である;
$facts$ = fact1: もしもその誘致話は限り無しならば「そのディエス・イレは酔う」ということは誤りでない fact2: もしもこの教師相互は吸い続けないとしたら「それは狭くてそれは緑肥でない」ということは嘘である fact3: もし「そのディエス・イレは酔う」ということは確かであるとすれば「この教師相互は主効果である」ということは成り立つ fact4: もしもこの教師相互は接近し易くないとすればそれは発揮し易いしかつ大型投資である fact5: もしもこの教師相互が主効果であるとしたらあの流れ方は遠流だ fact6: もしもある物は大型投資でないならば「それは酔うしまた主効果である」ということは間違いである fact7: あの流れ方は主効果だ fact8: その誘致話は抜き出すかまたはそれは限り無しかもしくは両方だ fact9: もしも「「この教師相互は狭い一方で緑肥でない」ということは事実と異なる」ということは成り立つとしたら接近し易くない fact10: 「その特定事項は遠流である」ということは成り立つ fact11: もし仮にとあるものが酔わないとすれば限り無しないしかつ抜き出さない fact12: もしもあの流れ方が主効果だとしたらこの教師相互は遠流である fact13: その誘致話は入り難い fact14: もしもその誘致話が主効果であるとするとこの教師相互は限り無し fact15: もしこの教師相互が発揮し易いし大型投資であるならその誘致話は大型投資であるということはない fact16: 「もし仮に「その誘致話は抜き出す」ということは確かだとすればそのディエス・イレは酔う」ということは成り立つ fact17: この教師相互は吸い続けない ; $hypothesis$ = あの流れ方は遠流でない ; $proof$ = 
fact8 & fact16 & fact1 -> int1: そのディエス・イレは酔う; int1 & fact3 -> int2: この教師相互は主効果だ; int2 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもその誘致話は限り無しならば「そのディエス・イレは酔う」ということは誤りでない
事実2: もしもこの教師相互は吸い続けないとしたら「それは狭くてそれは緑肥でない」ということは嘘である
事実3: もし「そのディエス・イレは酔う」ということは確かであるとすれば「この教師相互は主効果である」ということは成り立つ
事実4: もしもこの教師相互は接近し易くないとすればそれは発揮し易いしかつ大型投資である
事実5: もしもこの教師相互が主効果であるとしたらあの流れ方は遠流だ
事実6: もしもある物は大型投資でないならば「それは酔うしまた主効果である」ということは間違いである
事実7: あの流れ方は主効果だ
事実8: その誘致話は抜き出すかまたはそれは限り無しかもしくは両方だ
事実9: もしも「「この教師相互は狭い一方で緑肥でない」ということは事実と異なる」ということは成り立つとしたら接近し易くない
事実10: 「その特定事項は遠流である」ということは成り立つ
事実11: もし仮にとあるものが酔わないとすれば限り無しないしかつ抜き出さない
事実12: もしもあの流れ方が主効果だとしたらこの教師相互は遠流である
事実13: その誘致話は入り難い
事実14: もしもその誘致話が主効果であるとするとこの教師相互は限り無し
事実15: もしこの教師相互が発揮し易いし大型投資であるならその誘致話は大型投資であるということはない
事実16: 「もし仮に「その誘致話は抜き出す」ということは確かだとすればそのディエス・イレは酔う」ということは成り立つ
事実17: この教師相互は吸い続けない

仮説: あの流れ方は遠流でない
1. 事実8と事実16と事実1から、推論1: "そのディエス・イレは酔う"が導かれる
2. 推論1と事実3から、推論2: "この教師相互は主効果だ"が導かれる
3. 推論2と事実5から、仮説が否定される

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