「この通弊はＭＩＭＥである」ということは事実である
fact1: あのＬＣＡＴ遺伝子はソート対象であるか感じ易い fact2: もしも「なにがしかの物は請い求めないしその上握り部分でない」ということは成り立たないならばそれは変化し得る fact3: もしもとあるものが無門関でないなら連帯感であるし更にそれはＭＩＭＥである fact4: もし仮になにがしかの物は起き易いか攻略出来ないとしたらそれは起き易い fact5: もしもその回折光が無門関ならばあの通弊は無門関であるか連帯感であるか両方だ fact6: 仮に何らかのものは連帯感でないならばそれはＭＩＭＥでない fact7: もし仮になにかは無門関であるかまたは連帯感でないならＭＩＭＥでない fact8: もし仮に「このバレエダンサーは変化し得る」ということは真実であるとすると「その回折光は持ち出せなくてそれは生え始めない」ということは確かだ fact9: もし仮にこのバレエダンサーが土埃ならば消し去る fact10: もしこの通弊は連帯感でないならばＭＩＭＥでない fact11: 仮にあのＬＣＡＴ遺伝子がソート対象でないかもしくは感じ易いかまたは両方ともだとするとその回折光は無門関だ fact12: あのＬＣＡＴ遺伝子は感じ易くないかもしくはそれは連帯感であるかもしくはどちらもである fact13: もしこのバレエダンサーが消し去るとすると起き易いかもしくは攻略出来ない fact14: この通弊は無門関であるかまたは連帯感だ fact15: 仮にその回折光が感じ易くないとすればあのＬＣＡＴ遺伝子は無門関である fact16: もしこの通弊が無門関であるとするとその回折光は無門関であるかあるいはそれはＭＩＭＥでないかまたは両方ともだ fact17: 仮にこの通弊が無門関であるということはないかあるいはソート対象であるかあるいはどちらもならあのＬＣＡＴ遺伝子は連帯感だ fact18: もしもあのＬＣＡＴ遺伝子が呆気ないししかも調理用具ならばこの通弊は無門関だということはない fact19: あのＬＣＡＴ遺伝子はソート対象でないか感じ易いかあるいはどちらもである fact20: 「その回折光が生え始めないとすればあのＬＣＡＴ遺伝子は呆気なくてそれに調理用具だ」ということは嘘でない fact21: もしその回折光が無門関であるならばあの通弊は無門関であるかもしくは連帯感でないかあるいは両方である fact22: とある物は起き易いとしたら「それは請い求めないし握り部分でない」ということは嘘である
fact11 & fact19 -> int1: その回折光は無門関だ; int1 & fact21 -> int2: この通弊は無門関であるかあるいはそれは連帯感でないかまたは両方ともだ; fact7 -> int3: 仮にこの通弊は無門関であるかもしくは連帯感だということはないならば「それはＭＩＭＥでない」ということは成り立つ; int2 & int3 -> hypothesis;
fact11 & fact19 -> int1: {B}{b}; int1 & fact21 -> int2: ({B}{c} v ¬{A}{c}); fact7 -> int3: ({B}{c} v ¬{A}{c}) -> ¬{C}{c}; int2 & int3 -> hypothesis;
この通弊はＭＩＭＥである
fact29 -> int4: もし仮にこの通弊が無門関でないとしたらそれは連帯感でかつそれはＭＩＭＥだ; fact26 -> int5: 仮に「このバレエダンサーは請い求めないしまた握り部分でない」ということは確かでないとすればそれは変化し得る; fact28 -> int6: もしも「このバレエダンサーは起き易い」ということは成り立つとすると「「それは請い求めないし更にそれは握り部分でない」ということは確かである」ということは誤りである; fact30 -> int7: もしこのバレエダンサーは起き易いかもしくは攻略出来ないかもしくはどちらもならば「それは起き易い」ということは確かである;
$facts$ = fact1: あのＬＣＡＴ遺伝子はソート対象であるか感じ易い fact2: もしも「なにがしかの物は請い求めないしその上握り部分でない」ということは成り立たないならばそれは変化し得る fact3: もしもとあるものが無門関でないなら連帯感であるし更にそれはＭＩＭＥである fact4: もし仮になにがしかの物は起き易いか攻略出来ないとしたらそれは起き易い fact5: もしもその回折光が無門関ならばあの通弊は無門関であるか連帯感であるか両方だ fact6: 仮に何らかのものは連帯感でないならばそれはＭＩＭＥでない fact7: もし仮になにかは無門関であるかまたは連帯感でないならＭＩＭＥでない fact8: もし仮に「このバレエダンサーは変化し得る」ということは真実であるとすると「その回折光は持ち出せなくてそれは生え始めない」ということは確かだ fact9: もし仮にこのバレエダンサーが土埃ならば消し去る fact10: もしこの通弊は連帯感でないならばＭＩＭＥでない fact11: 仮にあのＬＣＡＴ遺伝子がソート対象でないかもしくは感じ易いかまたは両方ともだとするとその回折光は無門関だ fact12: あのＬＣＡＴ遺伝子は感じ易くないかもしくはそれは連帯感であるかもしくはどちらもである fact13: もしこのバレエダンサーが消し去るとすると起き易いかもしくは攻略出来ない fact14: この通弊は無門関であるかまたは連帯感だ fact15: 仮にその回折光が感じ易くないとすればあのＬＣＡＴ遺伝子は無門関である fact16: もしこの通弊が無門関であるとするとその回折光は無門関であるかあるいはそれはＭＩＭＥでないかまたは両方ともだ fact17: 仮にこの通弊が無門関であるということはないかあるいはソート対象であるかあるいはどちらもならあのＬＣＡＴ遺伝子は連帯感だ fact18: もしもあのＬＣＡＴ遺伝子が呆気ないししかも調理用具ならばこの通弊は無門関だということはない fact19: あのＬＣＡＴ遺伝子はソート対象でないか感じ易いかあるいはどちらもである fact20: 「その回折光が生え始めないとすればあのＬＣＡＴ遺伝子は呆気なくてそれに調理用具だ」ということは嘘でない fact21: もしその回折光が無門関であるならばあの通弊は無門関であるかもしくは連帯感でないかあるいは両方である fact22: とある物は起き易いとしたら「それは請い求めないし握り部分でない」ということは嘘である ; $hypothesis$ = 「この通弊はＭＩＭＥである」ということは事実である ; $proof$ = 
fact11 & fact19 -> int1: その回折光は無門関だ; int1 & fact21 -> int2: この通弊は無門関であるかあるいはそれは連帯感でないかまたは両方ともだ; fact7 -> int3: 仮にこの通弊は無門関であるかもしくは連帯感だということはないならば「それはＭＩＭＥでない」ということは成り立つ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あのＬＣＡＴ遺伝子はソート対象であるか感じ易い
事実2: もしも「なにがしかの物は請い求めないしその上握り部分でない」ということは成り立たないならばそれは変化し得る
事実3: もしもとあるものが無門関でないなら連帯感であるし更にそれはＭＩＭＥである
事実4: もし仮になにがしかの物は起き易いか攻略出来ないとしたらそれは起き易い
事実5: もしもその回折光が無門関ならばあの通弊は無門関であるか連帯感であるか両方だ
事実6: 仮に何らかのものは連帯感でないならばそれはＭＩＭＥでない
事実7: もし仮になにかは無門関であるかまたは連帯感でないならＭＩＭＥでない
事実8: もし仮に「このバレエダンサーは変化し得る」ということは真実であるとすると「その回折光は持ち出せなくてそれは生え始めない」ということは確かだ
事実9: もし仮にこのバレエダンサーが土埃ならば消し去る
事実10: もしこの通弊は連帯感でないならばＭＩＭＥでない
事実11: 仮にあのＬＣＡＴ遺伝子がソート対象でないかもしくは感じ易いかまたは両方ともだとするとその回折光は無門関だ
事実12: あのＬＣＡＴ遺伝子は感じ易くないかもしくはそれは連帯感であるかもしくはどちらもである
事実13: もしこのバレエダンサーが消し去るとすると起き易いかもしくは攻略出来ない
事実14: この通弊は無門関であるかまたは連帯感だ
事実15: 仮にその回折光が感じ易くないとすればあのＬＣＡＴ遺伝子は無門関である
事実16: もしこの通弊が無門関であるとするとその回折光は無門関であるかあるいはそれはＭＩＭＥでないかまたは両方ともだ
事実17: 仮にこの通弊が無門関であるということはないかあるいはソート対象であるかあるいはどちらもならあのＬＣＡＴ遺伝子は連帯感だ
事実18: もしもあのＬＣＡＴ遺伝子が呆気ないししかも調理用具ならばこの通弊は無門関だということはない
事実19: あのＬＣＡＴ遺伝子はソート対象でないか感じ易いかあるいはどちらもである
事実20: 「その回折光が生え始めないとすればあのＬＣＡＴ遺伝子は呆気なくてそれに調理用具だ」ということは嘘でない
事実21: もしその回折光が無門関であるならばあの通弊は無門関であるかもしくは連帯感でないかあるいは両方である
事実22: とある物は起き易いとしたら「それは請い求めないし握り部分でない」ということは嘘である

仮説: 「この通弊はＭＩＭＥである」ということは事実である
1. 事実11と事実19から、推論1: "その回折光は無門関だ"が導かれる
2. 推論1と事実21から、推論2: "この通弊は無門関であるかあるいはそれは連帯感でないかまたは両方ともだ"が導かれる
3. 事実7から、推論3: "仮にこの通弊は無門関であるかもしくは連帯感だということはないならば「それはＭＩＭＥでない」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が否定される

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