あの天上天下は調査過程だ
fact1: あの天上天下は歯痒くない fact2: もし仮にあの作物栽培が悪しないし更にそれは密会しないとしたら「それは捕縛しない」ということは成り立つ fact3: 仮に「そのメトヘモグロビンはひ弱くないけれどそれは覚え易い」ということは成り立たないならあの天上天下はひ弱くない fact4: あの天上天下は弱くない fact5: あの天上天下が歯痒くないとすればそれは上下しないし加えて弱くない fact6: 弱くないものは男役でなくて更に六段階でない fact7: もしあの天上天下が歯痒くないとするとそれは弱くない fact8: ひ弱いということはない物は歯痒くておまけに申し訳無い fact9: 仮にあの天上天下は上下しないがしかし弱いならそれは調査過程でない fact10: 仮にとあるものは上下しないしそれに弱いということはないとするとそれは調査過程でない fact11: 歯痒い物は調査過程である
fact5 & fact1 -> int1: 「あの天上天下は上下しなくてしかもそれは弱くない」ということは成り立つ; fact10 -> int2: もし仮にあの天上天下が上下しないしさらに弱くないとすれば調査過程でない; int1 & int2 -> hypothesis;
fact5 & fact1 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact10 -> int2: (¬{AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
もしその技術開発が弱くないならばそれは男役でないしそれに六段階だということはない
fact12 -> hypothesis;
$facts$ = fact1: あの天上天下は歯痒くない fact2: もし仮にあの作物栽培が悪しないし更にそれは密会しないとしたら「それは捕縛しない」ということは成り立つ fact3: 仮に「そのメトヘモグロビンはひ弱くないけれどそれは覚え易い」ということは成り立たないならあの天上天下はひ弱くない fact4: あの天上天下は弱くない fact5: あの天上天下が歯痒くないとすればそれは上下しないし加えて弱くない fact6: 弱くないものは男役でなくて更に六段階でない fact7: もしあの天上天下が歯痒くないとするとそれは弱くない fact8: ひ弱いということはない物は歯痒くておまけに申し訳無い fact9: 仮にあの天上天下は上下しないがしかし弱いならそれは調査過程でない fact10: 仮にとあるものは上下しないしそれに弱いということはないとするとそれは調査過程でない fact11: 歯痒い物は調査過程である ; $hypothesis$ = あの天上天下は調査過程だ ; $proof$ = 
fact5 & fact1 -> int1: 「あの天上天下は上下しなくてしかもそれは弱くない」ということは成り立つ; fact10 -> int2: もし仮にあの天上天下が上下しないしさらに弱くないとすれば調査過程でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの天上天下は歯痒くない
事実2: もし仮にあの作物栽培が悪しないし更にそれは密会しないとしたら「それは捕縛しない」ということは成り立つ
事実3: 仮に「そのメトヘモグロビンはひ弱くないけれどそれは覚え易い」ということは成り立たないならあの天上天下はひ弱くない
事実4: あの天上天下は弱くない
事実5: あの天上天下が歯痒くないとすればそれは上下しないし加えて弱くない
事実6: 弱くないものは男役でなくて更に六段階でない
事実7: もしあの天上天下が歯痒くないとするとそれは弱くない
事実8: ひ弱いということはない物は歯痒くておまけに申し訳無い
事実9: 仮にあの天上天下は上下しないがしかし弱いならそれは調査過程でない
事実10: 仮にとあるものは上下しないしそれに弱いということはないとするとそれは調査過程でない
事実11: 歯痒い物は調査過程である

仮説: あの天上天下は調査過程だ
1. 事実5と事実1から、推論1: "「あの天上天下は上下しなくてしかもそれは弱くない」ということは成り立つ"が導かれる
2. 事実10から、推論2: "もし仮にあの天上天下が上下しないしさらに弱くないとすれば調査過程でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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