あの付近一帯は辛抱強い
fact1: あの付近一帯は裏取り引きでない一方でそれはＯＬＢだ fact2: もしも「とあるものは各種書類でない一方でフセイン親族だ」ということは嘘であるならそれは入れ過ぎるということはない fact3: あの付近一帯は忘れっぽい fact4: 「あの付近一帯は辛抱強いということはない一方で忘れっぽい」ということは成り立たないならそれは祈り始めない fact5: あの不等価交換は辛抱強くない fact6: 「あの付近一帯は香ばしかないけれど仕舞い易い」ということは誤っている fact7: もし仮に「あの付近一帯は忘れ難い」ということは真実であるとすればそれは祈り始める fact8: その五軒は入れ過ぎない fact9: もしもあの付近一帯が忘れっぽいということはないとしたらそれは祈り始めない fact10: あの自力聖道は入れ過ぎるということはない fact11: あの国宝は入れ過ぎるということはない fact12: あの単座機は忘れっぽい fact13: もしもこの変異型が祈り始めないとしたらあの付近一帯は辛抱強いしおまけにそれは入れ過ぎる fact14: あの付近一帯が入れ過ぎるとすればそれは祈り始める fact15: もしもあの付近一帯が入れ過ぎないとすれば手書きしない fact16: あの外郎は辛抱強い fact17: もしも「あの付近一帯は常設しないけど入れ過ぎる」ということは成り立たないならばそれは当たり前過ぎない fact18: あの付近一帯は入れ過ぎる
void -> assump1: 以下のように仮定する。「あの付近一帯は辛抱強くないが忘れっぽい」ということは成り立たない; fact4 & assump1 -> int1: あの付近一帯は祈り始めない; fact18 & fact14 -> int2: 「あの付近一帯は祈り始める」ということは真実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの付近一帯は辛抱強くないけど忘れっぽい; int4 -> hypothesis;
あの付近一帯は辛抱強い
$facts$ = fact1: あの付近一帯は裏取り引きでない一方でそれはＯＬＢだ fact2: もしも「とあるものは各種書類でない一方でフセイン親族だ」ということは嘘であるならそれは入れ過ぎるということはない fact3: あの付近一帯は忘れっぽい fact4: 「あの付近一帯は辛抱強いということはない一方で忘れっぽい」ということは成り立たないならそれは祈り始めない fact5: あの不等価交換は辛抱強くない fact6: 「あの付近一帯は香ばしかないけれど仕舞い易い」ということは誤っている fact7: もし仮に「あの付近一帯は忘れ難い」ということは真実であるとすればそれは祈り始める fact8: その五軒は入れ過ぎない fact9: もしもあの付近一帯が忘れっぽいということはないとしたらそれは祈り始めない fact10: あの自力聖道は入れ過ぎるということはない fact11: あの国宝は入れ過ぎるということはない fact12: あの単座機は忘れっぽい fact13: もしもこの変異型が祈り始めないとしたらあの付近一帯は辛抱強いしおまけにそれは入れ過ぎる fact14: あの付近一帯が入れ過ぎるとすればそれは祈り始める fact15: もしもあの付近一帯が入れ過ぎないとすれば手書きしない fact16: あの外郎は辛抱強い fact17: もしも「あの付近一帯は常設しないけど入れ過ぎる」ということは成り立たないならばそれは当たり前過ぎない fact18: あの付近一帯は入れ過ぎる ; $hypothesis$ = あの付近一帯は辛抱強い ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの付近一帯は辛抱強くないが忘れっぽい」ということは成り立たない; fact4 & assump1 -> int1: あの付近一帯は祈り始めない; fact18 & fact14 -> int2: 「あの付近一帯は祈り始める」ということは真実である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの付近一帯は辛抱強くないけど忘れっぽい; int4 -> hypothesis; __DISPROVED__
事実1: あの付近一帯は裏取り引きでない一方でそれはＯＬＢだ
事実2: もしも「とあるものは各種書類でない一方でフセイン親族だ」ということは嘘であるならそれは入れ過ぎるということはない
事実3: あの付近一帯は忘れっぽい
事実4: 「あの付近一帯は辛抱強いということはない一方で忘れっぽい」ということは成り立たないならそれは祈り始めない
事実5: あの不等価交換は辛抱強くない
事実6: 「あの付近一帯は香ばしかないけれど仕舞い易い」ということは誤っている
事実7: もし仮に「あの付近一帯は忘れ難い」ということは真実であるとすればそれは祈り始める
事実8: その五軒は入れ過ぎない
事実9: もしもあの付近一帯が忘れっぽいということはないとしたらそれは祈り始めない
事実10: あの自力聖道は入れ過ぎるということはない
事実11: あの国宝は入れ過ぎるということはない
事実12: あの単座機は忘れっぽい
事実13: もしもこの変異型が祈り始めないとしたらあの付近一帯は辛抱強いしおまけにそれは入れ過ぎる
事実14: あの付近一帯が入れ過ぎるとすればそれは祈り始める
事実15: もしもあの付近一帯が入れ過ぎないとすれば手書きしない
事実16: あの外郎は辛抱強い
事実17: もしも「あの付近一帯は常設しないけど入れ過ぎる」ということは成り立たないならばそれは当たり前過ぎない
事実18: あの付近一帯は入れ過ぎる

仮説: あの付近一帯は辛抱強い
1. 仮定1: 以下のように仮定する。「あの付近一帯は辛抱強くないが忘れっぽい」ということは成り立たない
2. 事実4と仮定1から、推論1: "あの付近一帯は祈り始めない"が導かれる
3. 事実18と事実14から、推論2: "「あの付近一帯は祈り始める」ということは真実である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの付近一帯は辛抱強くないけど忘れっぽい"が導かれる
6. 推論4から、仮説が否定される

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