そのアロエベラは判別し易くない
fact1: 「そのアロエベラは収集しないがしかし聞き返す」ということは偽である fact2: 「仮に「そのアロエベラは収集しないけどそれは聞き返す」ということは本当であるということはないならばそのアロエベラは誤嚥しない」ということは成り立つ fact3: もし仮にそのアロエベラは処分行為でないとすると誘き寄せる fact4: もしもそのアロエベラが聞き返さないとしたらそれは誤嚥するということはない fact5: そのアロエベラは推任しない fact6: そのアロエベラは名高くない fact7: もし仮になにかは誤嚥しないとすると「判別し易い」ということは成り立つ fact8: そのマネージングは判別し易い
fact2 & fact1 -> int1: そのアロエベラは誤嚥しない; fact7 -> int2: もしもそのアロエベラは誤嚥しないなら「判別し易い」ということは成り立つ; int1 & int2 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}{a}; fact7 -> int2: ¬{B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 「そのアロエベラは収集しないがしかし聞き返す」ということは偽である fact2: 「仮に「そのアロエベラは収集しないけどそれは聞き返す」ということは本当であるということはないならばそのアロエベラは誤嚥しない」ということは成り立つ fact3: もし仮にそのアロエベラは処分行為でないとすると誘き寄せる fact4: もしもそのアロエベラが聞き返さないとしたらそれは誤嚥するということはない fact5: そのアロエベラは推任しない fact6: そのアロエベラは名高くない fact7: もし仮になにかは誤嚥しないとすると「判別し易い」ということは成り立つ fact8: そのマネージングは判別し易い ; $hypothesis$ = そのアロエベラは判別し易くない ; $proof$ = 
fact2 & fact1 -> int1: そのアロエベラは誤嚥しない; fact7 -> int2: もしもそのアロエベラは誤嚥しないなら「判別し易い」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「そのアロエベラは収集しないがしかし聞き返す」ということは偽である
事実2: 「仮に「そのアロエベラは収集しないけどそれは聞き返す」ということは本当であるということはないならばそのアロエベラは誤嚥しない」ということは成り立つ
事実3: もし仮にそのアロエベラは処分行為でないとすると誘き寄せる
事実4: もしもそのアロエベラが聞き返さないとしたらそれは誤嚥するということはない
事実5: そのアロエベラは推任しない
事実6: そのアロエベラは名高くない
事実7: もし仮になにかは誤嚥しないとすると「判別し易い」ということは成り立つ
事実8: そのマネージングは判別し易い

仮説: そのアロエベラは判別し易くない
1. 事実2と事実1から、推論1: "そのアロエベラは誤嚥しない"が導かれる
2. 事実7から、推論2: "もしもそのアロエベラは誤嚥しないなら「判別し易い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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