この牧畜は開き易い
fact1: この突破口は割拠するということはない fact2: この牧畜は漲る fact3: その領得罪は狂う fact4: あの相場観は開き易い fact5: この牧畜は競り上げる fact6: このエラスチンは開き易い fact7: この突破口は狂わない fact8: もし仮にこの牧畜が狂うならばあの突破口は開き易い fact9: その保護状は狂わない fact10: この牧畜は狂う fact11: この突破口は尖る fact12: もし仮にこの突破口が筆耕だ一方で痴態でないならこの牧畜は輿論調査である fact13: この軽装は開き易くない fact14: この突破口は筆耕であるしまたそれは輿論調査である fact15: もしもこの突破口が開き易いとしたらこの牧畜は狂う fact16: この牧畜は廃れない fact17: もし仮に「この牧畜は開き易い」ということは成り立つとすればあの突破口は狂う fact18: あの加速度償却制度は開き易くない fact19: この突破口は遣り難くない fact20: この突破口は開き易い
void -> assump1: 以下のように仮定する。この牧畜は開き易い; fact17 & assump1 -> int1: この突破口は狂う; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
その飯綱権現は開き易くない
$facts$ = fact1: この突破口は割拠するということはない fact2: この牧畜は漲る fact3: その領得罪は狂う fact4: あの相場観は開き易い fact5: この牧畜は競り上げる fact6: このエラスチンは開き易い fact7: この突破口は狂わない fact8: もし仮にこの牧畜が狂うならばあの突破口は開き易い fact9: その保護状は狂わない fact10: この牧畜は狂う fact11: この突破口は尖る fact12: もし仮にこの突破口が筆耕だ一方で痴態でないならこの牧畜は輿論調査である fact13: この軽装は開き易くない fact14: この突破口は筆耕であるしまたそれは輿論調査である fact15: もしもこの突破口が開き易いとしたらこの牧畜は狂う fact16: この牧畜は廃れない fact17: もし仮に「この牧畜は開き易い」ということは成り立つとすればあの突破口は狂う fact18: あの加速度償却制度は開き易くない fact19: この突破口は遣り難くない fact20: この突破口は開き易い ; $hypothesis$ = この牧畜は開き易い ; $proof$ = 
void -> assump1: 以下のように仮定する。この牧畜は開き易い; fact17 & assump1 -> int1: この突破口は狂う; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: この突破口は割拠するということはない
事実2: この牧畜は漲る
事実3: その領得罪は狂う
事実4: あの相場観は開き易い
事実5: この牧畜は競り上げる
事実6: このエラスチンは開き易い
事実7: この突破口は狂わない
事実8: もし仮にこの牧畜が狂うならばあの突破口は開き易い
事実9: その保護状は狂わない
事実10: この牧畜は狂う
事実11: この突破口は尖る
事実12: もし仮にこの突破口が筆耕だ一方で痴態でないならこの牧畜は輿論調査である
事実13: この軽装は開き易くない
事実14: この突破口は筆耕であるしまたそれは輿論調査である
事実15: もしもこの突破口が開き易いとしたらこの牧畜は狂う
事実16: この牧畜は廃れない
事実17: もし仮に「この牧畜は開き易い」ということは成り立つとすればあの突破口は狂う
事実18: あの加速度償却制度は開き易くない
事実19: この突破口は遣り難くない
事実20: この突破口は開き易い

仮説: この牧畜は開き易い
1. 仮定1: 以下のように仮定する。この牧畜は開き易い
2. 事実17と仮定1から、推論1: "この突破口は狂う"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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