この西欧思潮は通り易い
fact1: 「このファミコンが三十六人でないならばこの西欧思潮は御詳しくないけれど三十六人だ」ということは真実だ fact2: もし仮にあの渓谷美が三十六人でないとするとこの西欧思潮は清算しないけど三十六人である fact3: もし仮に何かは清算しないが通り易いとすればそれは水臭いということはない fact4: なにかは御詳しくないけれどライン連盟諸国であるとしたら三十六人でない fact5: もし仮にこのブラシツールが管理し易くないし切り難くないならこのファミコンは管理し易くない fact6: 「あの渓谷美は水臭い」ということは事実だ fact7: もし仮に御詳しくない物は三十六人であるならそれは通り易くない fact8: 仮にこのブラシツールが気持ち良くないなら管理し易いということはなくておまけに切り難くない fact9: もし仮にあの渓谷美が三十六人でないならばこの西欧思潮は清算するということはないししかもそれは水臭くない fact10: この西欧思潮は三十六人だ fact11: あの渓谷美は清算する fact12: ある物が清算するということはないしそれが水臭くないとすればそれは通り易い fact13: とあるものは管理し易いということはないならば「それは汚染しなくて接近し易くない」ということは間違いだ fact14: もしもあの渓谷美が水臭くてかつ清算するとするとこのファミコンは三十六人でない fact15: もし仮にこのファミコンは三十六人だということはないなら「この西欧思潮は三十六人である」ということは真実だ fact16: あの都市政府は清算する fact17: 仮にある物が汚染しないなら御詳しくないがライン連盟諸国だ fact18: もし「このファミコンは汚染しないし加えて接近し易くない」ということは間違いであるとするとあの渓谷美は汚染しない
fact6 & fact11 -> int1: あの渓谷美は水臭いし清算する; int1 & fact14 -> int2: このファミコンは三十六人でない; int2 & fact1 -> int3: この西欧思潮は御詳しくないが三十六人だ; fact7 -> int4: もしもこの西欧思潮は御詳しくない一方で三十六人ならばそれは通り易くない; int3 & int4 -> hypothesis;
この西欧思潮は通り易い
fact26 -> int5: もしこの西欧思潮は清算するということはなくてまた水臭くないとすればそれは通り易い; fact25 -> int6: 仮にあの渓谷美は御詳しくないがしかしライン連盟諸国だとしたら三十六人でない; fact19 -> int7: あの渓谷美が汚染しないとしたらそれは御詳しくなくておまけにそれはライン連盟諸国である; fact21 -> int8: もしもこのファミコンは管理し易くないとすると「それは汚染しなくて加えてそれは接近し易くない」ということは成り立たない;
$facts$ = fact1: 「このファミコンが三十六人でないならばこの西欧思潮は御詳しくないけれど三十六人だ」ということは真実だ fact2: もし仮にあの渓谷美が三十六人でないとするとこの西欧思潮は清算しないけど三十六人である fact3: もし仮に何かは清算しないが通り易いとすればそれは水臭いということはない fact4: なにかは御詳しくないけれどライン連盟諸国であるとしたら三十六人でない fact5: もし仮にこのブラシツールが管理し易くないし切り難くないならこのファミコンは管理し易くない fact6: 「あの渓谷美は水臭い」ということは事実だ fact7: もし仮に御詳しくない物は三十六人であるならそれは通り易くない fact8: 仮にこのブラシツールが気持ち良くないなら管理し易いということはなくておまけに切り難くない fact9: もし仮にあの渓谷美が三十六人でないならばこの西欧思潮は清算するということはないししかもそれは水臭くない fact10: この西欧思潮は三十六人だ fact11: あの渓谷美は清算する fact12: ある物が清算するということはないしそれが水臭くないとすればそれは通り易い fact13: とあるものは管理し易いということはないならば「それは汚染しなくて接近し易くない」ということは間違いだ fact14: もしもあの渓谷美が水臭くてかつ清算するとするとこのファミコンは三十六人でない fact15: もし仮にこのファミコンは三十六人だということはないなら「この西欧思潮は三十六人である」ということは真実だ fact16: あの都市政府は清算する fact17: 仮にある物が汚染しないなら御詳しくないがライン連盟諸国だ fact18: もし「このファミコンは汚染しないし加えて接近し易くない」ということは間違いであるとするとあの渓谷美は汚染しない ; $hypothesis$ = この西欧思潮は通り易い ; $proof$ = 
fact6 & fact11 -> int1: あの渓谷美は水臭いし清算する; int1 & fact14 -> int2: このファミコンは三十六人でない; int2 & fact1 -> int3: この西欧思潮は御詳しくないが三十六人だ; fact7 -> int4: もしもこの西欧思潮は御詳しくない一方で三十六人ならばそれは通り易くない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「このファミコンが三十六人でないならばこの西欧思潮は御詳しくないけれど三十六人だ」ということは真実だ
事実2: もし仮にあの渓谷美が三十六人でないとするとこの西欧思潮は清算しないけど三十六人である
事実3: もし仮に何かは清算しないが通り易いとすればそれは水臭いということはない
事実4: なにかは御詳しくないけれどライン連盟諸国であるとしたら三十六人でない
事実5: もし仮にこのブラシツールが管理し易くないし切り難くないならこのファミコンは管理し易くない
事実6: 「あの渓谷美は水臭い」ということは事実だ
事実7: もし仮に御詳しくない物は三十六人であるならそれは通り易くない
事実8: 仮にこのブラシツールが気持ち良くないなら管理し易いということはなくておまけに切り難くない
事実9: もし仮にあの渓谷美が三十六人でないならばこの西欧思潮は清算するということはないししかもそれは水臭くない
事実10: この西欧思潮は三十六人だ
事実11: あの渓谷美は清算する
事実12: ある物が清算するということはないしそれが水臭くないとすればそれは通り易い
事実13: とあるものは管理し易いということはないならば「それは汚染しなくて接近し易くない」ということは間違いだ
事実14: もしもあの渓谷美が水臭くてかつ清算するとするとこのファミコンは三十六人でない
事実15: もし仮にこのファミコンは三十六人だということはないなら「この西欧思潮は三十六人である」ということは真実だ
事実16: あの都市政府は清算する
事実17: 仮にある物が汚染しないなら御詳しくないがライン連盟諸国だ
事実18: もし「このファミコンは汚染しないし加えて接近し易くない」ということは間違いであるとするとあの渓谷美は汚染しない

仮説: この西欧思潮は通り易い
1. 事実6と事実11から、推論1: "あの渓谷美は水臭いし清算する"が導かれる
2. 推論1と事実14から、推論2: "このファミコンは三十六人でない"が導かれる
3. 推論2と事実1から、推論3: "この西欧思潮は御詳しくないが三十六人だ"が導かれる
4. 事実7から、推論4: "もしもこの西欧思潮は御詳しくない一方で三十六人ならばそれは通り易くない"が導かれる
5. 推論3と推論4から、仮説が否定される

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