この練り粉は登記所統廃合でない
fact1: もしも「そのグループ単位は廃棄する」ということは本当ならばそれはダイオキシン類発生防止等ガイドラインだ fact2: そのグループ単位がダイオキシン類発生防止等ガイドラインであるとしたらこの練り粉は登記所統廃合だ fact3: もしこの調教師が連接しないが予測し易いとするとそのディスレクシアは予測し易いということはない fact4: そのグループ単位は廃棄する fact5: その畑作は廃棄する
fact1 & fact4 -> int1: そのグループ単位はダイオキシン類発生防止等ガイドラインである; int1 & fact2 -> hypothesis;
この練り粉は登記所統廃合であるということはない
$facts$ = fact1: もしも「そのグループ単位は廃棄する」ということは本当ならばそれはダイオキシン類発生防止等ガイドラインだ fact2: そのグループ単位がダイオキシン類発生防止等ガイドラインであるとしたらこの練り粉は登記所統廃合だ fact3: もしこの調教師が連接しないが予測し易いとするとそのディスレクシアは予測し易いということはない fact4: そのグループ単位は廃棄する fact5: その畑作は廃棄する ; $hypothesis$ = この練り粉は登記所統廃合でない ; $proof$ = 
fact1 & fact4 -> int1: そのグループ単位はダイオキシン類発生防止等ガイドラインである; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もしも「そのグループ単位は廃棄する」ということは本当ならばそれはダイオキシン類発生防止等ガイドラインだ
事実2: そのグループ単位がダイオキシン類発生防止等ガイドラインであるとしたらこの練り粉は登記所統廃合だ
事実3: もしこの調教師が連接しないが予測し易いとするとそのディスレクシアは予測し易いということはない
事実4: そのグループ単位は廃棄する
事実5: その畑作は廃棄する

仮説: この練り粉は登記所統廃合でない
1. 事実1と事実4から、推論1: "そのグループ単位はダイオキシン類発生防止等ガイドラインである"が導かれる
2. 推論1と事実2から、仮説が否定される

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