その戒律は泊り歩く
fact1: その戒律は加工し易い fact2: その戒律はプロらしくないしまた弱体化しない fact3: 「あのサプライサイド経済学はスポーツ番組だ」ということは真実であるとしたら「独り暮らしするということはない」ということは真実である fact4: 「その戒律は掻き抱かない」ということは本当だ fact5: 仮にその戒律が加工し易いとすればそれは泊り歩くということはなくて掻き抱かない
fact5 & fact1 -> int1: その戒律は泊り歩かないしかつ掻き抱くということはない; int1 -> hypothesis;
fact5 & fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
$facts$ = fact1: その戒律は加工し易い fact2: その戒律はプロらしくないしまた弱体化しない fact3: 「あのサプライサイド経済学はスポーツ番組だ」ということは真実であるとしたら「独り暮らしするということはない」ということは真実である fact4: 「その戒律は掻き抱かない」ということは本当だ fact5: 仮にその戒律が加工し易いとすればそれは泊り歩くということはなくて掻き抱かない ; $hypothesis$ = その戒律は泊り歩く ; $proof$ = 
fact5 & fact1 -> int1: その戒律は泊り歩かないしかつ掻き抱くということはない; int1 -> hypothesis; __DISPROVED__
事実1: その戒律は加工し易い
事実2: その戒律はプロらしくないしまた弱体化しない
事実3: 「あのサプライサイド経済学はスポーツ番組だ」ということは真実であるとしたら「独り暮らしするということはない」ということは真実である
事実4: 「その戒律は掻き抱かない」ということは本当だ
事実5: 仮にその戒律が加工し易いとすればそれは泊り歩くということはなくて掻き抱かない

仮説: その戒律は泊り歩く
1. 事実5と事実1から、推論1: "その戒律は泊り歩かないしかつ掻き抱くということはない"が導かれる
2. 推論1から、仮説が否定される

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