「その反対方向は漏れ易いということはない」ということは事実と異ならない
fact1: もし「何らかの物は接がないかそれはどうしても欲しいかどちらもだ」ということは正しいとしたら教唆しない fact2: もしもその濁流が教唆しないけど馬鹿らしいならばその反対方向は漏れ易い fact3: その濁流は接がないかまたはどうしても欲しいかあるいはどちらもである fact4: もし仮に「その濁流は変遷史でない」ということは成り立つとすると馬鹿らしい fact5: その濁流は変遷史でない
fact1 -> int1: もしその濁流が接がないかそれはどうしても欲しいかもしくは両方だとしたらそれは教唆するということはない; int1 & fact3 -> int2: 「その濁流は教唆しない」ということは成り立つ; fact5 & fact4 -> int3: その濁流は馬鹿らしい; int2 & int3 -> int4: その濁流は教唆しないけれど馬鹿らしい; int4 & fact2 -> hypothesis;
$facts$ = fact1: もし「何らかの物は接がないかそれはどうしても欲しいかどちらもだ」ということは正しいとしたら教唆しない fact2: もしもその濁流が教唆しないけど馬鹿らしいならばその反対方向は漏れ易い fact3: その濁流は接がないかまたはどうしても欲しいかあるいはどちらもである fact4: もし仮に「その濁流は変遷史でない」ということは成り立つとすると馬鹿らしい fact5: その濁流は変遷史でない ; $hypothesis$ = 「その反対方向は漏れ易いということはない」ということは事実と異ならない ; $proof$ = 
fact1 -> int1: もしその濁流が接がないかそれはどうしても欲しいかもしくは両方だとしたらそれは教唆するということはない; int1 & fact3 -> int2: 「その濁流は教唆しない」ということは成り立つ; fact5 & fact4 -> int3: その濁流は馬鹿らしい; int2 & int3 -> int4: その濁流は教唆しないけれど馬鹿らしい; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: もし「何らかの物は接がないかそれはどうしても欲しいかどちらもだ」ということは正しいとしたら教唆しない
事実2: もしもその濁流が教唆しないけど馬鹿らしいならばその反対方向は漏れ易い
事実3: その濁流は接がないかまたはどうしても欲しいかあるいはどちらもである
事実4: もし仮に「その濁流は変遷史でない」ということは成り立つとすると馬鹿らしい
事実5: その濁流は変遷史でない

仮説: 「その反対方向は漏れ易いということはない」ということは事実と異ならない
1. 事実1から、推論1: "もしその濁流が接がないかそれはどうしても欲しいかもしくは両方だとしたらそれは教唆するということはない"が導かれる
2. 推論1と事実3から、推論2: "「その濁流は教唆しない」ということは成り立つ"が導かれる
3. 事実5と事実4から、推論3: "その濁流は馬鹿らしい"が導かれる
4. 推論2と推論3から、推論4: "その濁流は教唆しないけれど馬鹿らしい"が導かれる
5. 推論4と事実2から、仮説が否定される

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