「そのＭＡβは年下だけれどそれは解消しない」ということは事実と異なる
fact1: 「このオーク材は攻め込まない」ということは確かだとしたらあの先遣体は同意無しでないしまた弁解がましかない fact2: もしあのバルジは自然らしくないけれど素っ気ないとすれば「あのヘリコプターは年下でない」ということは事実である fact3: 仮にとある物は紫苑でないとすれば「年下でしかもそれは解消しない」ということは成り立たない fact4: もし「この事業リスクは力無い」ということは事実であるとすると「「それはえげつないがしかし小憎らしくない」ということは成り立つ」ということは成り立たない fact5: もしもあのヘリコプターは自任するとすると「そのＭＡβは不味いということはないし擬えらない」ということは成り立つということはない fact6: なんらかのものが同意無しでなくてそれが弁解がましくらないとするとあのバルジは利用し辛くない fact7: 「あのバルジは利用し辛くない」ということは真実だとすればそのＭＡβはグラッセする fact8: 仮にあの記は冠水すれば「それは遜色無くなくてかつ隠し立てしない」ということは成り立たない fact9: 仮に「あの記は遜色無くないし隠し立てしない」ということは事実と異なるとすればこの事業リスクは無くない fact10: そのＭＡβは薄汚くなくてしかもそれはアトミックでない fact11: もしあのバルジが自然らしいということはなくてそれが素っ気なくないならあのヘリコプターは年下だということはない fact12: もし仮にこの事業リスクが無くないとするとそれはアメリカっぽいししかも力無い fact13: あのバルジは擬える fact14: その黒布は擬える fact15: そのＭＡβは年下である fact16: えげつなくないものは自任するしかつ熱過ぎる fact17: 「その切り妻屋根は攻め込むけれど日本重化でない」ということは成り立たない fact18: 仮に「この事業リスクはえげつないが小憎らしくない」ということは成り立たないとすればあのヘリコプターはえげつなくない fact19: あのバルジは素っ気なくない fact20: その電解質バランスは素っ気ないが要求しない fact21: もしあのヘリコプターが年下でないならばそのＭＡβは年下である一方で解消しない fact22: もし仮に「あのバルジは自然らしくないしそれは素っ気なくない」ということは嘘だとするとそれは紫苑でない fact23: もし仮にあるものがグラッセするしかつ擬えるとすれば紫苑でない fact24: もしあのバルジが擬えるとしたらそれは紫苑だ fact25: 仮に「なにかは不味くないし擬えらない」ということは正しくないとすると擬える fact26: 「その切り妻屋根は攻め込むけど日本重化でない」ということは成り立たないならこのオーク材は攻め込むということはない
void -> assump1: 以下のように仮定する。「あのバルジは自然らしくないしかつ素っ気なくない」ということは真実でない; fact22 & assump1 -> int1: あのバルジは紫苑でない; fact13 & fact24 -> int2: あのバルジは紫苑だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのバルジは自然らしくないしさらに素っ気ないということはない; int4 & fact11 -> int5: あのヘリコプターは年下でない; int5 & fact21 -> hypothesis;
「そのＭＡβは年下であるけれど解消するということはない」ということは誤っている
fact30 -> int6: もし仮にそのＭＡβは紫苑でないとしたら「「それは年下であるしそれに解消しない」ということは確かだ」ということは成り立つということはない; fact38 -> int7: もしもそのＭＡβはグラッセするし擬えるとしたら紫苑でない; fact35 & fact31 -> int8: このオーク材は攻め込まない; fact32 & int8 -> int9: あの先遣体は同意無しでなくてかつ弁解がましかない; int9 -> int10: 「何かは同意無しでないしさらに弁解がましくらない」ということは本当だ; int10 & fact33 -> int11: あのバルジは利用し辛くない; fact34 & int11 -> int12: そのＭＡβはグラッセする; fact41 -> int13: 「そのＭＡβは不味くないしまた擬えらない」ということは誤りならばそれは擬える; fact36 -> int14: もし仮にあのヘリコプターがえげつなくないとしたらそれは自任するしさらに熱過ぎる;
$facts$ = fact1: 「このオーク材は攻め込まない」ということは確かだとしたらあの先遣体は同意無しでないしまた弁解がましかない fact2: もしあのバルジは自然らしくないけれど素っ気ないとすれば「あのヘリコプターは年下でない」ということは事実である fact3: 仮にとある物は紫苑でないとすれば「年下でしかもそれは解消しない」ということは成り立たない fact4: もし「この事業リスクは力無い」ということは事実であるとすると「「それはえげつないがしかし小憎らしくない」ということは成り立つ」ということは成り立たない fact5: もしもあのヘリコプターは自任するとすると「そのＭＡβは不味いということはないし擬えらない」ということは成り立つということはない fact6: なんらかのものが同意無しでなくてそれが弁解がましくらないとするとあのバルジは利用し辛くない fact7: 「あのバルジは利用し辛くない」ということは真実だとすればそのＭＡβはグラッセする fact8: 仮にあの記は冠水すれば「それは遜色無くなくてかつ隠し立てしない」ということは成り立たない fact9: 仮に「あの記は遜色無くないし隠し立てしない」ということは事実と異なるとすればこの事業リスクは無くない fact10: そのＭＡβは薄汚くなくてしかもそれはアトミックでない fact11: もしあのバルジが自然らしいということはなくてそれが素っ気なくないならあのヘリコプターは年下だということはない fact12: もし仮にこの事業リスクが無くないとするとそれはアメリカっぽいししかも力無い fact13: あのバルジは擬える fact14: その黒布は擬える fact15: そのＭＡβは年下である fact16: えげつなくないものは自任するしかつ熱過ぎる fact17: 「その切り妻屋根は攻め込むけれど日本重化でない」ということは成り立たない fact18: 仮に「この事業リスクはえげつないが小憎らしくない」ということは成り立たないとすればあのヘリコプターはえげつなくない fact19: あのバルジは素っ気なくない fact20: その電解質バランスは素っ気ないが要求しない fact21: もしあのヘリコプターが年下でないならばそのＭＡβは年下である一方で解消しない fact22: もし仮に「あのバルジは自然らしくないしそれは素っ気なくない」ということは嘘だとするとそれは紫苑でない fact23: もし仮にあるものがグラッセするしかつ擬えるとすれば紫苑でない fact24: もしあのバルジが擬えるとしたらそれは紫苑だ fact25: 仮に「なにかは不味くないし擬えらない」ということは正しくないとすると擬える fact26: 「その切り妻屋根は攻め込むけど日本重化でない」ということは成り立たないならこのオーク材は攻め込むということはない ; $hypothesis$ = 「そのＭＡβは年下だけれどそれは解消しない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのバルジは自然らしくないしかつ素っ気なくない」ということは真実でない; fact22 & assump1 -> int1: あのバルジは紫苑でない; fact13 & fact24 -> int2: あのバルジは紫苑だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのバルジは自然らしくないしさらに素っ気ないということはない; int4 & fact11 -> int5: あのヘリコプターは年下でない; int5 & fact21 -> hypothesis; __DISPROVED__
事実1: 「このオーク材は攻め込まない」ということは確かだとしたらあの先遣体は同意無しでないしまた弁解がましかない
事実2: もしあのバルジは自然らしくないけれど素っ気ないとすれば「あのヘリコプターは年下でない」ということは事実である
事実3: 仮にとある物は紫苑でないとすれば「年下でしかもそれは解消しない」ということは成り立たない
事実4: もし「この事業リスクは力無い」ということは事実であるとすると「「それはえげつないがしかし小憎らしくない」ということは成り立つ」ということは成り立たない
事実5: もしもあのヘリコプターは自任するとすると「そのＭＡβは不味いということはないし擬えらない」ということは成り立つということはない
事実6: なんらかのものが同意無しでなくてそれが弁解がましくらないとするとあのバルジは利用し辛くない
事実7: 「あのバルジは利用し辛くない」ということは真実だとすればそのＭＡβはグラッセする
事実8: 仮にあの記は冠水すれば「それは遜色無くなくてかつ隠し立てしない」ということは成り立たない
事実9: 仮に「あの記は遜色無くないし隠し立てしない」ということは事実と異なるとすればこの事業リスクは無くない
事実10: そのＭＡβは薄汚くなくてしかもそれはアトミックでない
事実11: もしあのバルジが自然らしいということはなくてそれが素っ気なくないならあのヘリコプターは年下だということはない
事実12: もし仮にこの事業リスクが無くないとするとそれはアメリカっぽいししかも力無い
事実13: あのバルジは擬える
事実14: その黒布は擬える
事実15: そのＭＡβは年下である
事実16: えげつなくないものは自任するしかつ熱過ぎる
事実17: 「その切り妻屋根は攻め込むけれど日本重化でない」ということは成り立たない
事実18: 仮に「この事業リスクはえげつないが小憎らしくない」ということは成り立たないとすればあのヘリコプターはえげつなくない
事実19: あのバルジは素っ気なくない
事実20: その電解質バランスは素っ気ないが要求しない
事実21: もしあのヘリコプターが年下でないならばそのＭＡβは年下である一方で解消しない
事実22: もし仮に「あのバルジは自然らしくないしそれは素っ気なくない」ということは嘘だとするとそれは紫苑でない
事実23: もし仮にあるものがグラッセするしかつ擬えるとすれば紫苑でない
事実24: もしあのバルジが擬えるとしたらそれは紫苑だ
事実25: 仮に「なにかは不味くないし擬えらない」ということは正しくないとすると擬える
事実26: 「その切り妻屋根は攻め込むけど日本重化でない」ということは成り立たないならこのオーク材は攻め込むということはない

仮説: 「そのＭＡβは年下だけれどそれは解消しない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「あのバルジは自然らしくないしかつ素っ気なくない」ということは真実でない
2. 事実22と仮定1から、推論1: "あのバルジは紫苑でない"が導かれる
3. 事実13と事実24から、推論2: "あのバルジは紫苑だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのバルジは自然らしくないしさらに素っ気ないということはない"が導かれる
6. 推論4と事実11から、推論5: "あのヘリコプターは年下でない"が導かれる
7. 推論5と事実21から、仮説が否定される

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