このリベルタは拍車でない
fact1: もしもなにがしかの物は醤油・出し汁でないしその上計画しないとしたらそれは確からしくない fact2: もしあのビットマップデータが拍車であるならこのリベルタは特定顧客だ fact3: もしあのビットマップデータが特定顧客であるならばこのリベルタは拍車だ fact4: 起き易い物は特定顧客だけれど拍車であるということはない fact5: あのビットマップデータは文化生態学だ fact6: あのビットマップデータは特定顧客である fact7: あの内部資料は憎い fact8: このリベルタは特定顧客だ fact9: 仮にこのリベルタが特定顧客だとするとあのビットマップデータは拍車だ fact10: その三以上は特定顧客だ fact11: あるものが憎いとすると醤油・出し汁でないしおまけに計画しない
fact3 & fact6 -> hypothesis;
fact3 & fact6 -> hypothesis;
このリベルタは拍車だということはない
fact14 -> int1: もしあの内部資料は醤油・出し汁でないしそれに計画しないなら確からしいということはない; fact13 -> int2: もしあの内部資料は憎いとすれば「それは醤油・出し汁でないし計画しない」ということは成り立つ; int2 & fact12 -> int3: あの内部資料は醤油・出し汁でなくて計画しない; int1 & int3 -> int4: あの内部資料は確からしくない; int4 -> int5: 「確からしくない」ものはある;
$facts$ = fact1: もしもなにがしかの物は醤油・出し汁でないしその上計画しないとしたらそれは確からしくない fact2: もしあのビットマップデータが拍車であるならこのリベルタは特定顧客だ fact3: もしあのビットマップデータが特定顧客であるならばこのリベルタは拍車だ fact4: 起き易い物は特定顧客だけれど拍車であるということはない fact5: あのビットマップデータは文化生態学だ fact6: あのビットマップデータは特定顧客である fact7: あの内部資料は憎い fact8: このリベルタは特定顧客だ fact9: 仮にこのリベルタが特定顧客だとするとあのビットマップデータは拍車だ fact10: その三以上は特定顧客だ fact11: あるものが憎いとすると醤油・出し汁でないしおまけに計画しない ; $hypothesis$ = このリベルタは拍車でない ; $proof$ = 
fact3 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物は醤油・出し汁でないしその上計画しないとしたらそれは確からしくない
事実2: もしあのビットマップデータが拍車であるならこのリベルタは特定顧客だ
事実3: もしあのビットマップデータが特定顧客であるならばこのリベルタは拍車だ
事実4: 起き易い物は特定顧客だけれど拍車であるということはない
事実5: あのビットマップデータは文化生態学だ
事実6: あのビットマップデータは特定顧客である
事実7: あの内部資料は憎い
事実8: このリベルタは特定顧客だ
事実9: 仮にこのリベルタが特定顧客だとするとあのビットマップデータは拍車だ
事実10: その三以上は特定顧客だ
事実11: あるものが憎いとすると醤油・出し汁でないしおまけに計画しない

仮説: このリベルタは拍車でない
1. 事実3と事実6から、仮説が否定される

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