このＬＣＡＴ遺伝子は代価・利息でない
fact1: もし「このＬＣＡＴ遺伝子は所蔵するかもしくは二百一号室でない」ということは嘘だとすればそれは御高い fact2: もし仮に「「五ミリメートル以下でない」ということは成り立つ」ものがあればこのＬＣＡＴ遺伝子は再興する fact3: 仮に「「何らかのものは所蔵するかまたはそれは通り易くないかまたはどちらもである」ということは事実だ」ということは間違いであるならば代価・利息である fact4: 「極まり悪くない」ものがあるとすればこのＬＣＡＴ遺伝子は所蔵しない fact5: もしも「何らかの物は極まり悪いかまたは所蔵するかまたは両方である」ということは成り立たないとしたら代価・利息だということはない fact6: とあるものは戦く fact7: もし仮に「なにかは御高いかまたは間断無いかあるいは両方だ」ということは間違いであるとしたら「それは移行し易い」ということは成り立つ fact8: この食え等は通り易い fact9: 仮にとある物がアセスメントするということはないならばあの職業生活は所蔵する fact10: 「ある物はブローデル自身であるかまたは調製しないかどちらもである」ということは成り立たないならば「それは覚束無い」ということは事実だ fact11: もし「極まり悪くない」ものはあるとしたら「このＬＣＡＴ遺伝子は所蔵するか通り易くないかまたはどちらもである」ということは成り立たない fact12: このＬＣＡＴ遺伝子は所蔵しない fact13: 仮に「何かは達成し易いかもしくは受忍するか両方ともだ」ということは成り立たないとすれば「それは侍する」ということは成り立つ fact14: もしも「このＬＣＡＴ遺伝子は代価・利息であるか新訂寛政重修諸家譜でないかもしくは両方ともである」ということは成り立たないとするとそれは騒がしい fact15: もしもこの三錠が子供らしくないとしたらこの告訴権は通り易くない fact16: 「極まり悪い」ものはある fact17: この三錠が胃底腺でないとしたらこの告訴権は通り易いということはない fact18: もしも「憧憬しない」物があるとしたらこのＬＣＡＴ遺伝子は難儀する fact19: もし仮に「この住民投票は壮年層であるかもしくは通り易い」ということは間違いだとしたら答え易い fact20: なにかは受忍しない fact21: 「極まり悪くない」ものはある
fact21 & fact11 -> int1: 「「このＬＣＡＴ遺伝子は所蔵するかそれは通り易くないかもしくはどちらもだ」ということは本当である」ということは成り立たない; fact3 -> int2: 「「このＬＣＡＴ遺伝子は所蔵するかまたは通り易くないかあるいは両方である」ということは成り立つということはない」ということは成り立つとすれば代価・利息である; int1 & int2 -> hypothesis;
fact21 & fact11 -> int1: ¬({B}{a} v ¬{C}{a}); fact3 -> int2: ¬({B}{a} v ¬{C}{a}) -> {D}{a}; int1 & int2 -> hypothesis;
このＬＣＡＴ遺伝子は代価・利息でない
fact23 -> int3: もし「このＬＣＡＴ遺伝子は極まり悪いかあるいは所蔵するかまたは両方ともだ」ということは間違っているとすれば代価・利息でない;
$facts$ = fact1: もし「このＬＣＡＴ遺伝子は所蔵するかもしくは二百一号室でない」ということは嘘だとすればそれは御高い fact2: もし仮に「「五ミリメートル以下でない」ということは成り立つ」ものがあればこのＬＣＡＴ遺伝子は再興する fact3: 仮に「「何らかのものは所蔵するかまたはそれは通り易くないかまたはどちらもである」ということは事実だ」ということは間違いであるならば代価・利息である fact4: 「極まり悪くない」ものがあるとすればこのＬＣＡＴ遺伝子は所蔵しない fact5: もしも「何らかの物は極まり悪いかまたは所蔵するかまたは両方である」ということは成り立たないとしたら代価・利息だということはない fact6: とあるものは戦く fact7: もし仮に「なにかは御高いかまたは間断無いかあるいは両方だ」ということは間違いであるとしたら「それは移行し易い」ということは成り立つ fact8: この食え等は通り易い fact9: 仮にとある物がアセスメントするということはないならばあの職業生活は所蔵する fact10: 「ある物はブローデル自身であるかまたは調製しないかどちらもである」ということは成り立たないならば「それは覚束無い」ということは事実だ fact11: もし「極まり悪くない」ものはあるとしたら「このＬＣＡＴ遺伝子は所蔵するか通り易くないかまたはどちらもである」ということは成り立たない fact12: このＬＣＡＴ遺伝子は所蔵しない fact13: 仮に「何かは達成し易いかもしくは受忍するか両方ともだ」ということは成り立たないとすれば「それは侍する」ということは成り立つ fact14: もしも「このＬＣＡＴ遺伝子は代価・利息であるか新訂寛政重修諸家譜でないかもしくは両方ともである」ということは成り立たないとするとそれは騒がしい fact15: もしもこの三錠が子供らしくないとしたらこの告訴権は通り易くない fact16: 「極まり悪い」ものはある fact17: この三錠が胃底腺でないとしたらこの告訴権は通り易いということはない fact18: もしも「憧憬しない」物があるとしたらこのＬＣＡＴ遺伝子は難儀する fact19: もし仮に「この住民投票は壮年層であるかもしくは通り易い」ということは間違いだとしたら答え易い fact20: なにかは受忍しない fact21: 「極まり悪くない」ものはある ; $hypothesis$ = このＬＣＡＴ遺伝子は代価・利息でない ; $proof$ = 
fact21 & fact11 -> int1: 「「このＬＣＡＴ遺伝子は所蔵するかそれは通り易くないかもしくはどちらもだ」ということは本当である」ということは成り立たない; fact3 -> int2: 「「このＬＣＡＴ遺伝子は所蔵するかまたは通り易くないかあるいは両方である」ということは成り立つということはない」ということは成り立つとすれば代価・利息である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「このＬＣＡＴ遺伝子は所蔵するかもしくは二百一号室でない」ということは嘘だとすればそれは御高い
事実2: もし仮に「「五ミリメートル以下でない」ということは成り立つ」ものがあればこのＬＣＡＴ遺伝子は再興する
事実3: 仮に「「何らかのものは所蔵するかまたはそれは通り易くないかまたはどちらもである」ということは事実だ」ということは間違いであるならば代価・利息である
事実4: 「極まり悪くない」ものがあるとすればこのＬＣＡＴ遺伝子は所蔵しない
事実5: もしも「何らかの物は極まり悪いかまたは所蔵するかまたは両方である」ということは成り立たないとしたら代価・利息だということはない
事実6: とあるものは戦く
事実7: もし仮に「なにかは御高いかまたは間断無いかあるいは両方だ」ということは間違いであるとしたら「それは移行し易い」ということは成り立つ
事実8: この食え等は通り易い
事実9: 仮にとある物がアセスメントするということはないならばあの職業生活は所蔵する
事実10: 「ある物はブローデル自身であるかまたは調製しないかどちらもである」ということは成り立たないならば「それは覚束無い」ということは事実だ
事実11: もし「極まり悪くない」ものはあるとしたら「このＬＣＡＴ遺伝子は所蔵するか通り易くないかまたはどちらもである」ということは成り立たない
事実12: このＬＣＡＴ遺伝子は所蔵しない
事実13: 仮に「何かは達成し易いかもしくは受忍するか両方ともだ」ということは成り立たないとすれば「それは侍する」ということは成り立つ
事実14: もしも「このＬＣＡＴ遺伝子は代価・利息であるか新訂寛政重修諸家譜でないかもしくは両方ともである」ということは成り立たないとするとそれは騒がしい
事実15: もしもこの三錠が子供らしくないとしたらこの告訴権は通り易くない
事実16: 「極まり悪い」ものはある
事実17: この三錠が胃底腺でないとしたらこの告訴権は通り易いということはない
事実18: もしも「憧憬しない」物があるとしたらこのＬＣＡＴ遺伝子は難儀する
事実19: もし仮に「この住民投票は壮年層であるかもしくは通り易い」ということは間違いだとしたら答え易い
事実20: なにかは受忍しない
事実21: 「極まり悪くない」ものはある

仮説: このＬＣＡＴ遺伝子は代価・利息でない
1. 事実21と事実11から、推論1: "「「このＬＣＡＴ遺伝子は所蔵するかそれは通り易くないかもしくはどちらもだ」ということは本当である」ということは成り立たない"が導かれる
2. 事実3から、推論2: "「「このＬＣＡＴ遺伝子は所蔵するかまたは通り易くないかあるいは両方である」ということは成り立つということはない」ということは成り立つとすれば代価・利息である"が導かれる
3. 推論1と推論2から、仮説が否定される

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