あの巣構造は転び易くないかもしくは出港するか両方ともだ
fact1: もし仮に何かは倍額であるかまたは究明すらないかあるいは両方ともであるならば「あの巣構造は商人らしい」ということは確かだ fact2: なにがしかの物は赤ちゃん誕生であるとしたら「大量投与するということはないかまたはそれは突っ込むかまたは両方ともである」ということは嘘である fact3: 仮に「あのマスター工程表は商人らしくない」ということは成り立つとすればあの巣構造は転び易くないかもしくは出港するかまたは両方だ fact4: あの巣構造は転び易い fact5: 「究明すらない」物があるとすればあの巣構造は商人らしい fact6: もしもこの大汗が倍額ならばあのマスター工程表は商人らしくない fact7: もしもある物は商人らしいならば「それは転び易いということはないかあるいは出港するかまたは両方ともだ」ということは誤っている fact8: もしもこの大汗が大人びないならば突っ込むしそれに祭儀だ fact9: もしもあの巣構造が商人らしいとすると転び易い fact10: もしも何らかのものが突っ込むとすれば十以上であるか当該税関長でない fact11: もしも何らかの物が十以上であるかそれは当該税関長でないかあるいはどちらもだとすればそれは遅くない fact12: もしもなんらかのものが遅いということはないならそれは倍額であるし究明す fact13: 何かは重層化するとしたら羽化する fact14: 憎しか益無しか両方である物はある fact15: 「倍額であるかもしくは究明すらないか両方ともな」ものはある fact16: もし「御餅であるかもしくは変え始めないかあるいはどちらもな」ものがあるとしたらこの大汗はごちゃごちゃする
fact7 -> int1: あの巣構造は商人らしいとすれば「それは転び易くないかあるいはそれは出港する」ということは嘘である; fact1 & fact15 -> int2: あの巣構造は商人らしい; int1 & int2 -> hypothesis;
fact7 -> int1: {A}{aa} -> ¬(¬{AA}{aa} v {AB}{aa}); fact1 & fact15 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
あの巣構造は転び易くないかそれは出港する
fact20 -> int3: 仮にこの大汗が遅いということはないとしたら倍額でかつ究明す; fact21 -> int4: もしこの大汗は十以上であるかあるいは当該税関長でないかあるいはどちらもならば遅くない; fact18 -> int5: もし仮にこの大汗は突っ込むとしたら「それは十以上であるかあるいは当該税関長だということはないか両方ともである」ということは間違いであるということはない;
$facts$ = fact1: もし仮に何かは倍額であるかまたは究明すらないかあるいは両方ともであるならば「あの巣構造は商人らしい」ということは確かだ fact2: なにがしかの物は赤ちゃん誕生であるとしたら「大量投与するということはないかまたはそれは突っ込むかまたは両方ともである」ということは嘘である fact3: 仮に「あのマスター工程表は商人らしくない」ということは成り立つとすればあの巣構造は転び易くないかもしくは出港するかまたは両方だ fact4: あの巣構造は転び易い fact5: 「究明すらない」物があるとすればあの巣構造は商人らしい fact6: もしもこの大汗が倍額ならばあのマスター工程表は商人らしくない fact7: もしもある物は商人らしいならば「それは転び易いということはないかあるいは出港するかまたは両方ともだ」ということは誤っている fact8: もしもこの大汗が大人びないならば突っ込むしそれに祭儀だ fact9: もしもあの巣構造が商人らしいとすると転び易い fact10: もしも何らかのものが突っ込むとすれば十以上であるか当該税関長でない fact11: もしも何らかの物が十以上であるかそれは当該税関長でないかあるいはどちらもだとすればそれは遅くない fact12: もしもなんらかのものが遅いということはないならそれは倍額であるし究明す fact13: 何かは重層化するとしたら羽化する fact14: 憎しか益無しか両方である物はある fact15: 「倍額であるかもしくは究明すらないか両方ともな」ものはある fact16: もし「御餅であるかもしくは変え始めないかあるいはどちらもな」ものがあるとしたらこの大汗はごちゃごちゃする ; $hypothesis$ = あの巣構造は転び易くないかもしくは出港するか両方ともだ ; $proof$ = 
fact7 -> int1: あの巣構造は商人らしいとすれば「それは転び易くないかあるいはそれは出港する」ということは嘘である; fact1 & fact15 -> int2: あの巣構造は商人らしい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に何かは倍額であるかまたは究明すらないかあるいは両方ともであるならば「あの巣構造は商人らしい」ということは確かだ
事実2: なにがしかの物は赤ちゃん誕生であるとしたら「大量投与するということはないかまたはそれは突っ込むかまたは両方ともである」ということは嘘である
事実3: 仮に「あのマスター工程表は商人らしくない」ということは成り立つとすればあの巣構造は転び易くないかもしくは出港するかまたは両方だ
事実4: あの巣構造は転び易い
事実5: 「究明すらない」物があるとすればあの巣構造は商人らしい
事実6: もしもこの大汗が倍額ならばあのマスター工程表は商人らしくない
事実7: もしもある物は商人らしいならば「それは転び易いということはないかあるいは出港するかまたは両方ともだ」ということは誤っている
事実8: もしもこの大汗が大人びないならば突っ込むしそれに祭儀だ
事実9: もしもあの巣構造が商人らしいとすると転び易い
事実10: もしも何らかのものが突っ込むとすれば十以上であるか当該税関長でない
事実11: もしも何らかの物が十以上であるかそれは当該税関長でないかあるいはどちらもだとすればそれは遅くない
事実12: もしもなんらかのものが遅いということはないならそれは倍額であるし究明す
事実13: 何かは重層化するとしたら羽化する
事実14: 憎しか益無しか両方である物はある
事実15: 「倍額であるかもしくは究明すらないか両方ともな」ものはある
事実16: もし「御餅であるかもしくは変え始めないかあるいはどちらもな」ものがあるとしたらこの大汗はごちゃごちゃする

仮説: あの巣構造は転び易くないかもしくは出港するか両方ともだ
1. 事実7から、推論1: "あの巣構造は商人らしいとすれば「それは転び易くないかあるいはそれは出港する」ということは嘘である"が導かれる
2. 事実1と事実15から、推論2: "あの巣構造は商人らしい"が導かれる
3. 推論1と推論2から、仮説が否定される

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