「この最終法案はバーベルだ」ということは成り立つ
fact1: なんらかのものは勤務実績であるし持ち易い fact2: 「農夫達だし苦々しい」ものはある fact3: このＲＭＩが苦々しかないとすればバーベルであるし農夫達だ fact4: 「バーベルな」物はある fact5: あるものは農夫達である fact6: 「飲み難くて加えて微笑ましい」物はある fact7: もしもこのＲＭＩがバーベルだとすればこの最終法案はバーベルだ fact8: その改良費はバーベルでない fact9: もし仮に苦々しい農夫達があるとすればこの最終法案はバーベルでない fact10: もしもとある物が苦々しいしそれがちょろいならばその小売り物価統計調査は上り易くない fact11: 仮にこの最終法案が農夫達でないかまたはバーベルであるかどちらもだとするとその誘致合戦はバーベルでない fact12: この最終法案は苦々しかない fact13: 「苦々しい」ものはある
fact2 & fact9 -> hypothesis;
fact2 & fact9 -> hypothesis;
この最終法案はバーベルである
$facts$ = fact1: なんらかのものは勤務実績であるし持ち易い fact2: 「農夫達だし苦々しい」ものはある fact3: このＲＭＩが苦々しかないとすればバーベルであるし農夫達だ fact4: 「バーベルな」物はある fact5: あるものは農夫達である fact6: 「飲み難くて加えて微笑ましい」物はある fact7: もしもこのＲＭＩがバーベルだとすればこの最終法案はバーベルだ fact8: その改良費はバーベルでない fact9: もし仮に苦々しい農夫達があるとすればこの最終法案はバーベルでない fact10: もしもとある物が苦々しいしそれがちょろいならばその小売り物価統計調査は上り易くない fact11: 仮にこの最終法案が農夫達でないかまたはバーベルであるかどちらもだとするとその誘致合戦はバーベルでない fact12: この最終法案は苦々しかない fact13: 「苦々しい」ものはある ; $hypothesis$ = 「この最終法案はバーベルだ」ということは成り立つ ; $proof$ = 
fact2 & fact9 -> hypothesis; __DISPROVED__
事実1: なんらかのものは勤務実績であるし持ち易い
事実2: 「農夫達だし苦々しい」ものはある
事実3: このＲＭＩが苦々しかないとすればバーベルであるし農夫達だ
事実4: 「バーベルな」物はある
事実5: あるものは農夫達である
事実6: 「飲み難くて加えて微笑ましい」物はある
事実7: もしもこのＲＭＩがバーベルだとすればこの最終法案はバーベルだ
事実8: その改良費はバーベルでない
事実9: もし仮に苦々しい農夫達があるとすればこの最終法案はバーベルでない
事実10: もしもとある物が苦々しいしそれがちょろいならばその小売り物価統計調査は上り易くない
事実11: 仮にこの最終法案が農夫達でないかまたはバーベルであるかどちらもだとするとその誘致合戦はバーベルでない
事実12: この最終法案は苦々しかない
事実13: 「苦々しい」ものはある

仮説: 「この最終法案はバーベルだ」ということは成り立つ
1. 事実2と事実9から、仮説が否定される

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