この強行規定は努めない
fact1: 仮にこの解釈者が努めるか新しかあるいは両方ともならこの強行規定は努めない fact2: このバイク屋さんは努める fact3: この強行規定は邪淫である fact4: もし仮にこの強行規定が新しとしたら努める fact5: この強行規定は新しとすれば「来辛い」ということは真実である fact6: 「この強行規定は営業日だ」ということは成り立つ fact7: この強行規定は新し fact8: あの変形メニューは努める fact9: 仮に「この強行規定は面白い」ということは本当だとするとミッドトーンである fact10: その菩提達磨は努める fact11: もしこの強行規定が好ましとすれば努める
fact4 & fact7 -> hypothesis;
fact4 & fact7 -> hypothesis;
この強行規定は努めない
$facts$ = fact1: 仮にこの解釈者が努めるか新しかあるいは両方ともならこの強行規定は努めない fact2: このバイク屋さんは努める fact3: この強行規定は邪淫である fact4: もし仮にこの強行規定が新しとしたら努める fact5: この強行規定は新しとすれば「来辛い」ということは真実である fact6: 「この強行規定は営業日だ」ということは成り立つ fact7: この強行規定は新し fact8: あの変形メニューは努める fact9: 仮に「この強行規定は面白い」ということは本当だとするとミッドトーンである fact10: その菩提達磨は努める fact11: もしこの強行規定が好ましとすれば努める ; $hypothesis$ = この強行規定は努めない ; $proof$ = 
fact4 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にこの解釈者が努めるか新しかあるいは両方ともならこの強行規定は努めない
事実2: このバイク屋さんは努める
事実3: この強行規定は邪淫である
事実4: もし仮にこの強行規定が新しとしたら努める
事実5: この強行規定は新しとすれば「来辛い」ということは真実である
事実6: 「この強行規定は営業日だ」ということは成り立つ
事実7: この強行規定は新し
事実8: あの変形メニューは努める
事実9: 仮に「この強行規定は面白い」ということは本当だとするとミッドトーンである
事実10: その菩提達磨は努める
事実11: もしこの強行規定が好ましとすれば努める

仮説: この強行規定は努めない
1. 事実4と事実7から、仮説が否定される

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