この遊園地用は見出だし難くない
fact1: その現物出資等は出会い易くない fact2: この気恥ずかしさは見出だし難くない fact3: この遊園地用は道祖王だ fact4: この遊園地用は共感出来る fact5: この変形パネルは出会い易い fact6: 「この隔膜は見出だし難い」ということは成り立つ fact7: この隔膜はアノラックでない fact8: この隔膜は出会い易い fact9: もし仮にこの遊園地用が出会い易くないならばこの隔膜は少なくない fact10: もし仮にこの隔膜が見出だし難くないならこの遊園地用は出会い易いということはない fact11: あの病人役割は見出だし難い fact12: この遊園地用はあぐねない fact13: この隔膜は配合する fact14: この個人主義化は出会い易くない fact15: あの三試合は見出だし難い fact16: もしこの遊園地用が見出だし難くないとするとこの隔膜は出会い易くない fact17: この遊園地用は出会い易くない
void -> assump1: 以下のように仮定する。この遊園地用は見出だし難くない; fact16 & assump1 -> int1: この隔膜は出会い易くない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
$facts$ = fact1: その現物出資等は出会い易くない fact2: この気恥ずかしさは見出だし難くない fact3: この遊園地用は道祖王だ fact4: この遊園地用は共感出来る fact5: この変形パネルは出会い易い fact6: 「この隔膜は見出だし難い」ということは成り立つ fact7: この隔膜はアノラックでない fact8: この隔膜は出会い易い fact9: もし仮にこの遊園地用が出会い易くないならばこの隔膜は少なくない fact10: もし仮にこの隔膜が見出だし難くないならこの遊園地用は出会い易いということはない fact11: あの病人役割は見出だし難い fact12: この遊園地用はあぐねない fact13: この隔膜は配合する fact14: この個人主義化は出会い易くない fact15: あの三試合は見出だし難い fact16: もしこの遊園地用が見出だし難くないとするとこの隔膜は出会い易くない fact17: この遊園地用は出会い易くない ; $hypothesis$ = この遊園地用は見出だし難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この遊園地用は見出だし難くない; fact16 & assump1 -> int1: この隔膜は出会い易くない; int1 & fact8 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: その現物出資等は出会い易くない
事実2: この気恥ずかしさは見出だし難くない
事実3: この遊園地用は道祖王だ
事実4: この遊園地用は共感出来る
事実5: この変形パネルは出会い易い
事実6: 「この隔膜は見出だし難い」ということは成り立つ
事実7: この隔膜はアノラックでない
事実8: この隔膜は出会い易い
事実9: もし仮にこの遊園地用が出会い易くないならばこの隔膜は少なくない
事実10: もし仮にこの隔膜が見出だし難くないならこの遊園地用は出会い易いということはない
事実11: あの病人役割は見出だし難い
事実12: この遊園地用はあぐねない
事実13: この隔膜は配合する
事実14: この個人主義化は出会い易くない
事実15: あの三試合は見出だし難い
事実16: もしこの遊園地用が見出だし難くないとするとこの隔膜は出会い易くない
事実17: この遊園地用は出会い易くない

仮説: この遊園地用は見出だし難くない
1. 仮定1: 以下のように仮定する。この遊園地用は見出だし難くない
2. 事実16と仮定1から、推論1: "この隔膜は出会い易くない"が導かれる
3. 推論1と事実8から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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