あの一存は美味しい
fact1: あの一存は信頼しない fact2: その湾流は仕方無くない fact3: その湾流は信頼しないけど誘発し易い fact4: あの一存は誘発し易い fact5: その湾流は美味しい fact6: あの一存はクリスマス・イブだ fact7: もしもその湾流が信頼するということはない一方でそれが誘発し易いならばあの一存は美味しかない fact8: もしも「その湾流は美味しかない一方でそれは誘発し易い」ということは事実ならば「あの一存は信頼しない」ということは成り立つ fact9: もし仮にその湾流が力強くないけど美味しいとすればこの五郡は美味しかない fact10: あの一存は情け深い
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
この五郡は美味しかない
$facts$ = fact1: あの一存は信頼しない fact2: その湾流は仕方無くない fact3: その湾流は信頼しないけど誘発し易い fact4: あの一存は誘発し易い fact5: その湾流は美味しい fact6: あの一存はクリスマス・イブだ fact7: もしもその湾流が信頼するということはない一方でそれが誘発し易いならばあの一存は美味しかない fact8: もしも「その湾流は美味しかない一方でそれは誘発し易い」ということは事実ならば「あの一存は信頼しない」ということは成り立つ fact9: もし仮にその湾流が力強くないけど美味しいとすればこの五郡は美味しかない fact10: あの一存は情け深い ; $hypothesis$ = あの一存は美味しい ; $proof$ = 
fact7 & fact3 -> hypothesis; __DISPROVED__
事実1: あの一存は信頼しない
事実2: その湾流は仕方無くない
事実3: その湾流は信頼しないけど誘発し易い
事実4: あの一存は誘発し易い
事実5: その湾流は美味しい
事実6: あの一存はクリスマス・イブだ
事実7: もしもその湾流が信頼するということはない一方でそれが誘発し易いならばあの一存は美味しかない
事実8: もしも「その湾流は美味しかない一方でそれは誘発し易い」ということは事実ならば「あの一存は信頼しない」ということは成り立つ
事実9: もし仮にその湾流が力強くないけど美味しいとすればこの五郡は美味しかない
事実10: あの一存は情け深い

仮説: あの一存は美味しい
1. 事実7と事実3から、仮説が否定される

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