あの養殖筏は短くない
fact1: もしあの養殖筏が出血し易いとしたらこのアベは仕事らしい fact2: このアベは出血し易い fact3: 何かはラビでないならば中断するしそれは折り合う fact4: もしもとあるものは中断するとすると「短い」ということは成り立つ fact5: もしもあの養殖筏は出血し易いならば「このアベは短い」ということは成り立つ fact6: もし仮にこのアベが短いならばあの養殖筏は出血し易い fact7: あの養殖筏は小気味良い fact8: あの返り血が出血し易いとしたらこのアベは短い fact9: 「あの養殖筏は出血し易い」ということは間違っているということはない fact10: もしも「あの接尾詞は表六だということはないしおまけに夜船閑話でない」ということは誤りならこのアベはラビでない fact11: 「このアベは左クリックする」ということは成り立つ fact12: このアベが出血し易いとするとあの養殖筏は短い fact13: このアベは短い fact14: この奸は出血し易い
fact12 & fact2 -> hypothesis;
fact12 & fact2 -> hypothesis;
あの養殖筏は短くない
fact15 -> int1: もしもこのアベがラビでないならば中断するしおまけにそれは折り合う;
$facts$ = fact1: もしあの養殖筏が出血し易いとしたらこのアベは仕事らしい fact2: このアベは出血し易い fact3: 何かはラビでないならば中断するしそれは折り合う fact4: もしもとあるものは中断するとすると「短い」ということは成り立つ fact5: もしもあの養殖筏は出血し易いならば「このアベは短い」ということは成り立つ fact6: もし仮にこのアベが短いならばあの養殖筏は出血し易い fact7: あの養殖筏は小気味良い fact8: あの返り血が出血し易いとしたらこのアベは短い fact9: 「あの養殖筏は出血し易い」ということは間違っているということはない fact10: もしも「あの接尾詞は表六だということはないしおまけに夜船閑話でない」ということは誤りならこのアベはラビでない fact11: 「このアベは左クリックする」ということは成り立つ fact12: このアベが出血し易いとするとあの養殖筏は短い fact13: このアベは短い fact14: この奸は出血し易い ; $hypothesis$ = あの養殖筏は短くない ; $proof$ = 
fact12 & fact2 -> hypothesis; __DISPROVED__
事実1: もしあの養殖筏が出血し易いとしたらこのアベは仕事らしい
事実2: このアベは出血し易い
事実3: 何かはラビでないならば中断するしそれは折り合う
事実4: もしもとあるものは中断するとすると「短い」ということは成り立つ
事実5: もしもあの養殖筏は出血し易いならば「このアベは短い」ということは成り立つ
事実6: もし仮にこのアベが短いならばあの養殖筏は出血し易い
事実7: あの養殖筏は小気味良い
事実8: あの返り血が出血し易いとしたらこのアベは短い
事実9: 「あの養殖筏は出血し易い」ということは間違っているということはない
事実10: もしも「あの接尾詞は表六だということはないしおまけに夜船閑話でない」ということは誤りならこのアベはラビでない
事実11: 「このアベは左クリックする」ということは成り立つ
事実12: このアベが出血し易いとするとあの養殖筏は短い
事実13: このアベは短い
事実14: この奸は出血し易い

仮説: あの養殖筏は短くない
1. 事実12と事実2から、仮説が否定される

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