この適時は親王である
fact1: 仮にある物が形成し得るなら踏み荒らす fact2: 仮にその治安判事が親王であるとしたらこの適時は過不足無い fact3: その治安判事は過不足無い fact4: その治安判事が勘違いし易くないならばこの適時は親王であるし過不足無い fact5: もし仮にその治安判事が過不足無いとしたらこの適時は数値であるけれど親王でない fact6: もしこの修験が読み辛くないが少なしならばその治安判事は勘違いし易いということはない fact7: この適時は数値だ fact8: もしその治安判事が過不足無いならばこの適時は数値である fact9: アメリカ並みは掻き易い fact10: もしあるものが掻き易いがしかし蟹籠でないとすればあのモダン都市は下ろし山葵であるということはない fact11: その治安判事は親王でない fact12: もし仮にその治安判事が親王だとすればあの適時は過不足無いがしかし数値でない fact13: もし仮にその図右が進み始めるならこの一般情報はアメリカ並みである fact14: 「その図右は進み始める」ということは事実である fact15: もしとある物が踏み荒らすとしたら読み辛くないし加えて少なし fact16: 仮に何かは少なしとすれば勘違いし易い fact17: この一般情報は蟹籠だということはない
fact5 & fact3 -> int1: この適時は数値である一方で親王でない; int1 -> hypothesis;
fact5 & fact3 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
あの追加画面は数値だ
fact18 -> int2: もしもその治安判事が少なしとすればそれは勘違いし易い;
$facts$ = fact1: 仮にある物が形成し得るなら踏み荒らす fact2: 仮にその治安判事が親王であるとしたらこの適時は過不足無い fact3: その治安判事は過不足無い fact4: その治安判事が勘違いし易くないならばこの適時は親王であるし過不足無い fact5: もし仮にその治安判事が過不足無いとしたらこの適時は数値であるけれど親王でない fact6: もしこの修験が読み辛くないが少なしならばその治安判事は勘違いし易いということはない fact7: この適時は数値だ fact8: もしその治安判事が過不足無いならばこの適時は数値である fact9: アメリカ並みは掻き易い fact10: もしあるものが掻き易いがしかし蟹籠でないとすればあのモダン都市は下ろし山葵であるということはない fact11: その治安判事は親王でない fact12: もし仮にその治安判事が親王だとすればあの適時は過不足無いがしかし数値でない fact13: もし仮にその図右が進み始めるならこの一般情報はアメリカ並みである fact14: 「その図右は進み始める」ということは事実である fact15: もしとある物が踏み荒らすとしたら読み辛くないし加えて少なし fact16: 仮に何かは少なしとすれば勘違いし易い fact17: この一般情報は蟹籠だということはない ; $hypothesis$ = この適時は親王である ; $proof$ = 
fact5 & fact3 -> int1: この適時は数値である一方で親王でない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にある物が形成し得るなら踏み荒らす
事実2: 仮にその治安判事が親王であるとしたらこの適時は過不足無い
事実3: その治安判事は過不足無い
事実4: その治安判事が勘違いし易くないならばこの適時は親王であるし過不足無い
事実5: もし仮にその治安判事が過不足無いとしたらこの適時は数値であるけれど親王でない
事実6: もしこの修験が読み辛くないが少なしならばその治安判事は勘違いし易いということはない
事実7: この適時は数値だ
事実8: もしその治安判事が過不足無いならばこの適時は数値である
事実9: アメリカ並みは掻き易い
事実10: もしあるものが掻き易いがしかし蟹籠でないとすればあのモダン都市は下ろし山葵であるということはない
事実11: その治安判事は親王でない
事実12: もし仮にその治安判事が親王だとすればあの適時は過不足無いがしかし数値でない
事実13: もし仮にその図右が進み始めるならこの一般情報はアメリカ並みである
事実14: 「その図右は進み始める」ということは事実である
事実15: もしとある物が踏み荒らすとしたら読み辛くないし加えて少なし
事実16: 仮に何かは少なしとすれば勘違いし易い
事実17: この一般情報は蟹籠だということはない

仮説: この適時は親王である
1. 事実5と事実3から、推論1: "この適時は数値である一方で親王でない"が導かれる
2. 推論1から、仮説が否定される

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