この当帰は教育方法でない
fact1: 「そのシェーディングは崩れ去らなくてまた御参加でない」ということは誤っている fact2: この夜市が淡くないならばあの当帰は親族であるしその上それは教育方法である fact3: もしも何かは教育方法であるとすると「民営化しないししかもそれは運用益でない」ということは偽である fact4: 仮に「「そのシェーディングは崩れ去らなくて加えてそれは御参加でない」ということは本当だということはない」ということは確かであるとすればこの夜市は淡いということはない fact5: 「そのシェーディングは教育方法であるということはないしその上それは崩れ去らない」ということは誤りである
fact4 & fact1 -> int1: この夜市は淡くない; int1 & fact2 -> int2: この当帰は親族でそれは教育方法である; int2 -> hypothesis;
「「その年の暮れは民営化するということはなくてかつ運用益でない」ということは成り立たない」ということは本当である
fact6 -> int3: 仮に「その年の暮れは教育方法である」ということは確かであるとしたら「民営化しないしそれは運用益でない」ということは間違いだ;
$facts$ = fact1: 「そのシェーディングは崩れ去らなくてまた御参加でない」ということは誤っている fact2: この夜市が淡くないならばあの当帰は親族であるしその上それは教育方法である fact3: もしも何かは教育方法であるとすると「民営化しないししかもそれは運用益でない」ということは偽である fact4: 仮に「「そのシェーディングは崩れ去らなくて加えてそれは御参加でない」ということは本当だということはない」ということは確かであるとすればこの夜市は淡いということはない fact5: 「そのシェーディングは教育方法であるということはないしその上それは崩れ去らない」ということは誤りである ; $hypothesis$ = この当帰は教育方法でない ; $proof$ = 
fact4 & fact1 -> int1: この夜市は淡くない; int1 & fact2 -> int2: この当帰は親族でそれは教育方法である; int2 -> hypothesis; __DISPROVED__
事実1: 「そのシェーディングは崩れ去らなくてまた御参加でない」ということは誤っている
事実2: この夜市が淡くないならばあの当帰は親族であるしその上それは教育方法である
事実3: もしも何かは教育方法であるとすると「民営化しないししかもそれは運用益でない」ということは偽である
事実4: 仮に「「そのシェーディングは崩れ去らなくて加えてそれは御参加でない」ということは本当だということはない」ということは確かであるとすればこの夜市は淡いということはない
事実5: 「そのシェーディングは教育方法であるということはないしその上それは崩れ去らない」ということは誤りである

仮説: この当帰は教育方法でない
1. 事実4と事実1から、推論1: "この夜市は淡くない"が導かれる
2. 推論1と事実2から、推論2: "この当帰は親族でそれは教育方法である"が導かれる
3. 推論2から、仮説が否定される

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