あのＭＡＴは忘るない
fact1: もしこのＲＩＣＯ法が有料でないけれど忘るならあのＭＡＴは忘るない fact2: あの本社採用はこかす fact3: この石造りが御存じ無いとするとその胃弱体質は取り扱い易くないしそれに指導精神でない fact4: あのＭＡＴは高ぶる fact5: もし仮に「あのＭＡＴはこかす」ということは成り立つならそれは忘る fact6: あのＭＡＴが難いとしたら陽性者である fact7: もしその胃弱体質がこかさないならばあのＲＩＣＯ法は有料でないがしかし忘る fact8: もしもなにがしかの物が愛撫するとしたらそれは忘る fact9: あのＭＡＴはこかす fact10: なにかは取り扱い易くなくてかつ指導精神でないとしたらこかさない fact11: この道路特定事業計画はこかす fact12: あのＭＡＴは存在する fact13: この針十字旗は忘る
fact5 & fact9 -> hypothesis;
fact5 & fact9 -> hypothesis;
あのＭＡＴは忘るない
fact14 -> int1: もしもその胃弱体質は取り扱い易いということはないしまた指導精神でないならばこかさない;
$facts$ = fact1: もしこのＲＩＣＯ法が有料でないけれど忘るならあのＭＡＴは忘るない fact2: あの本社採用はこかす fact3: この石造りが御存じ無いとするとその胃弱体質は取り扱い易くないしそれに指導精神でない fact4: あのＭＡＴは高ぶる fact5: もし仮に「あのＭＡＴはこかす」ということは成り立つならそれは忘る fact6: あのＭＡＴが難いとしたら陽性者である fact7: もしその胃弱体質がこかさないならばあのＲＩＣＯ法は有料でないがしかし忘る fact8: もしもなにがしかの物が愛撫するとしたらそれは忘る fact9: あのＭＡＴはこかす fact10: なにかは取り扱い易くなくてかつ指導精神でないとしたらこかさない fact11: この道路特定事業計画はこかす fact12: あのＭＡＴは存在する fact13: この針十字旗は忘る ; $hypothesis$ = あのＭＡＴは忘るない ; $proof$ = 
fact5 & fact9 -> hypothesis; __DISPROVED__
事実1: もしこのＲＩＣＯ法が有料でないけれど忘るならあのＭＡＴは忘るない
事実2: あの本社採用はこかす
事実3: この石造りが御存じ無いとするとその胃弱体質は取り扱い易くないしそれに指導精神でない
事実4: あのＭＡＴは高ぶる
事実5: もし仮に「あのＭＡＴはこかす」ということは成り立つならそれは忘る
事実6: あのＭＡＴが難いとしたら陽性者である
事実7: もしその胃弱体質がこかさないならばあのＲＩＣＯ法は有料でないがしかし忘る
事実8: もしもなにがしかの物が愛撫するとしたらそれは忘る
事実9: あのＭＡＴはこかす
事実10: なにかは取り扱い易くなくてかつ指導精神でないとしたらこかさない
事実11: この道路特定事業計画はこかす
事実12: あのＭＡＴは存在する
事実13: この針十字旗は忘る

仮説: あのＭＡＴは忘るない
1. 事実5と事実9から、仮説が否定される

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