この地域構造は汚染する
fact1: 仮にあの技術的効果が調停するけれど水俣病でないとすればこの当該従業員は朝貢する fact2: ある物は三菱化だ fact3: もしもそのバースデーが名乗り続けるならばあの地域構造は荒れ果てる fact4: もし仮にこのアフリカ諸国が名乗り続けないが三菱化であるならばそのバースデーは名乗り続ける fact5: 「なにがしかの物はとろいし名乗り続ける」ということは嘘ならば「とろくない」ということは本当である fact6: もし仮にこの当該従業員が第一次大戦中だということはないとするとあの技術的効果は朝貢しないかまたはそれは狩らないか両方ともである fact7: もしもこの賢婦は荒れ果てるということはないなら「この当該従業員はとろくて名乗り続ける」ということは成り立たない fact8: この地域構造は水俣病でない fact9: もしこの当該従業員が朝貢するならばあの賢婦は第一次大戦中でないかあるいは朝貢しないかまたは両方ともだ fact10: 「あの技術的効果は汚染しないが第一次大戦中だ」ということは成り立たないとしたらこの地域構造は汚染する fact11: もしこの賢婦が第一次大戦中でないかあるいは朝貢しないかまたはどちらもであるならこの地域構造は汚染しない fact12: もしもあの技術的効果が朝貢するし加えて第一次大戦中であるならこの当該従業員は調停する fact13: あの技術的効果は調停する fact14: もしあるものは三菱化であるかもしくは荒れ果てないならばそれは荒れ果てるということはない fact15: もし仮にこの当該従業員が朝貢しないかもしくはそれが第一次大戦中でないかどちらもであるとすればこの賢婦は汚染しない fact16: この当該従業員は調停するということはない fact17: あの技術的効果は調停するけど水俣病でない fact18: 仮にこの賢婦が調停するがしかし第一次大戦中でないとしたらあの技術的効果は朝貢する fact19: もしも「この賢婦はとろくて更に汚染する」ということは成り立たないとするとこの当該従業員は第一次大戦中でない fact20: 「とろくない物は朝貢するし加えて汚染する」ということは成り立つ
fact1 & fact17 -> int1: この当該従業員は朝貢する; int1 & fact9 -> int2: この賢婦は第一次大戦中でないかあるいは朝貢しないかまたは両方である; int2 & fact11 -> hypothesis;
fact1 & fact17 -> int1: {B}{b}; int1 & fact9 -> int2: (¬{A}{c} v ¬{B}{c}); int2 & fact11 -> hypothesis;
あの技術的効果は朝貢しないかもしくはそれは狩らない
$facts$ = fact1: 仮にあの技術的効果が調停するけれど水俣病でないとすればこの当該従業員は朝貢する fact2: ある物は三菱化だ fact3: もしもそのバースデーが名乗り続けるならばあの地域構造は荒れ果てる fact4: もし仮にこのアフリカ諸国が名乗り続けないが三菱化であるならばそのバースデーは名乗り続ける fact5: 「なにがしかの物はとろいし名乗り続ける」ということは嘘ならば「とろくない」ということは本当である fact6: もし仮にこの当該従業員が第一次大戦中だということはないとするとあの技術的効果は朝貢しないかまたはそれは狩らないか両方ともである fact7: もしもこの賢婦は荒れ果てるということはないなら「この当該従業員はとろくて名乗り続ける」ということは成り立たない fact8: この地域構造は水俣病でない fact9: もしこの当該従業員が朝貢するならばあの賢婦は第一次大戦中でないかあるいは朝貢しないかまたは両方ともだ fact10: 「あの技術的効果は汚染しないが第一次大戦中だ」ということは成り立たないとしたらこの地域構造は汚染する fact11: もしこの賢婦が第一次大戦中でないかあるいは朝貢しないかまたはどちらもであるならこの地域構造は汚染しない fact12: もしもあの技術的効果が朝貢するし加えて第一次大戦中であるならこの当該従業員は調停する fact13: あの技術的効果は調停する fact14: もしあるものは三菱化であるかもしくは荒れ果てないならばそれは荒れ果てるということはない fact15: もし仮にこの当該従業員が朝貢しないかもしくはそれが第一次大戦中でないかどちらもであるとすればこの賢婦は汚染しない fact16: この当該従業員は調停するということはない fact17: あの技術的効果は調停するけど水俣病でない fact18: 仮にこの賢婦が調停するがしかし第一次大戦中でないとしたらあの技術的効果は朝貢する fact19: もしも「この賢婦はとろくて更に汚染する」ということは成り立たないとするとこの当該従業員は第一次大戦中でない fact20: 「とろくない物は朝貢するし加えて汚染する」ということは成り立つ ; $hypothesis$ = この地域構造は汚染する ; $proof$ = 
fact1 & fact17 -> int1: この当該従業員は朝貢する; int1 & fact9 -> int2: この賢婦は第一次大戦中でないかあるいは朝貢しないかまたは両方である; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮にあの技術的効果が調停するけれど水俣病でないとすればこの当該従業員は朝貢する
事実2: ある物は三菱化だ
事実3: もしもそのバースデーが名乗り続けるならばあの地域構造は荒れ果てる
事実4: もし仮にこのアフリカ諸国が名乗り続けないが三菱化であるならばそのバースデーは名乗り続ける
事実5: 「なにがしかの物はとろいし名乗り続ける」ということは嘘ならば「とろくない」ということは本当である
事実6: もし仮にこの当該従業員が第一次大戦中だということはないとするとあの技術的効果は朝貢しないかまたはそれは狩らないか両方ともである
事実7: もしもこの賢婦は荒れ果てるということはないなら「この当該従業員はとろくて名乗り続ける」ということは成り立たない
事実8: この地域構造は水俣病でない
事実9: もしこの当該従業員が朝貢するならばあの賢婦は第一次大戦中でないかあるいは朝貢しないかまたは両方ともだ
事実10: 「あの技術的効果は汚染しないが第一次大戦中だ」ということは成り立たないとしたらこの地域構造は汚染する
事実11: もしこの賢婦が第一次大戦中でないかあるいは朝貢しないかまたはどちらもであるならこの地域構造は汚染しない
事実12: もしもあの技術的効果が朝貢するし加えて第一次大戦中であるならこの当該従業員は調停する
事実13: あの技術的効果は調停する
事実14: もしあるものは三菱化であるかもしくは荒れ果てないならばそれは荒れ果てるということはない
事実15: もし仮にこの当該従業員が朝貢しないかもしくはそれが第一次大戦中でないかどちらもであるとすればこの賢婦は汚染しない
事実16: この当該従業員は調停するということはない
事実17: あの技術的効果は調停するけど水俣病でない
事実18: 仮にこの賢婦が調停するがしかし第一次大戦中でないとしたらあの技術的効果は朝貢する
事実19: もしも「この賢婦はとろくて更に汚染する」ということは成り立たないとするとこの当該従業員は第一次大戦中でない
事実20: 「とろくない物は朝貢するし加えて汚染する」ということは成り立つ

仮説: この地域構造は汚染する
1. 事実1と事実17から、推論1: "この当該従業員は朝貢する"が導かれる
2. 推論1と事実9から、推論2: "この賢婦は第一次大戦中でないかあるいは朝貢しないかまたは両方である"が導かれる
3. 推論2と事実11から、仮説が否定される

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