「「あの身障者はバランスポイントであるかまたはヒドロキシラジカルでないか両方ともだ」ということは誤りでない」ということは成り立たない
fact1: もし「なにがしかのものは減点しないしその上それは人懐っこいということはない」ということは成り立たないとすれば落ち易いということはない fact2: もしも「このカウンター形式は成人しない」ということは正しいとするとそれは苦い fact3: あの身障者はバランスポイントであるかまたはヒドロキシラジカルである fact4: 仮に「この茄子は六十改附である」ということは真実なら「このカウンター形式は減点しないししかもそれは人懐っこくない」ということは嘘である fact5: 「その夏物は調査・分析するけど棲息するということはない」ということは誤りである fact6: もし仮にこの専門農協は擦り付けるとすれば「「その夏物は調査・分析するがそれは棲息するということはない」ということは間違っていない」ということは誤りだ fact7: もし仮に何かは苦いとするとあの身障者はバランスポイントであるかあるいはヒドロキシラジカルでない fact8: もし仮にこの専門農協は擦り付けるとすれば「その夏物は調査・分析するということはなくて棲息しない」ということは誤りである fact9: 「何かは成人する一方でそれは谷間でない」ということは誤りならば擦り付けるということはない fact10: 仮に「その夏物は男装しないが谷間である」ということは嘘だとすればそれは谷間でない fact11: なんらかのものは擦り付けないとすると「それはバランスポイントであるかまたはヒドロキシラジカルでないかもしくは両方ともである」ということは事実でない fact12: 「その夏物は調査・分析しないけれど棲息する」ということは誤っている fact13: 「もしこのカウンター形式は落ち易くないなら「「その夏物は男装するしおまけにそれは修行する」ということは正しい」ということは真実でない」ということは確かである fact14: この専門農協が擦り付けないとしたらこのカウンター形式は成人しない fact15: もし仮に「その夏物は調査・分析しないしさらに棲息しない」ということは嘘なら谷間だ fact16: 仮にこの専門農協は苦いということはないとすると「あの身障者は成人するけどそれは谷間でない」ということは嘘だ fact17: 「その夏物は男装しないがしかし谷間である」ということは誤っている fact18: 仮にこの専門農協は擦り付けるとしたら「その夏物は調査・分析しない一方でそれは棲息する」ということは誤りだ fact19: 「何かは苦い」ということは成り立つとしたらあの身障者はバランスポイントであるかまたはヒドロキシラジカルであるかどちらもだ
void -> assump1: 以下のように仮定する。この専門農協は擦り付ける; fact8 & assump1 -> int1: 「その夏物は調査・分析しないしその上棲息しない」ということは本当でない; int1 & fact15 -> int2: その夏物は谷間である; fact17 & fact10 -> int3: その夏物は谷間でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この専門農協は擦り付けない; int5 & fact14 -> int6: このカウンター形式は成人しない; int6 & fact2 -> int7: このカウンター形式は苦い; int7 -> int8: 何かは苦い; int8 & fact7 -> hypothesis;
「あの身障者はバランスポイントであるかあるいはヒドロキシラジカルでないかあるいは両方だ」ということは成り立たない
fact21 -> int9: もしもあの身障者は擦り付けないとしたら「それはバランスポイントであるかまたはヒドロキシラジカルでない」ということは誤りだ; fact24 -> int10: 「あの身障者は成人するけど谷間でない」ということは成り立たないとしたら擦り付けない; fact20 -> int11: もし仮に「このカウンター形式は減点しないし人懐っこいということはない」ということは間違いであるとしたら落ち易くない;
$facts$ = fact1: もし「なにがしかのものは減点しないしその上それは人懐っこいということはない」ということは成り立たないとすれば落ち易いということはない fact2: もしも「このカウンター形式は成人しない」ということは正しいとするとそれは苦い fact3: あの身障者はバランスポイントであるかまたはヒドロキシラジカルである fact4: 仮に「この茄子は六十改附である」ということは真実なら「このカウンター形式は減点しないししかもそれは人懐っこくない」ということは嘘である fact5: 「その夏物は調査・分析するけど棲息するということはない」ということは誤りである fact6: もし仮にこの専門農協は擦り付けるとすれば「「その夏物は調査・分析するがそれは棲息するということはない」ということは間違っていない」ということは誤りだ fact7: もし仮に何かは苦いとするとあの身障者はバランスポイントであるかあるいはヒドロキシラジカルでない fact8: もし仮にこの専門農協は擦り付けるとすれば「その夏物は調査・分析するということはなくて棲息しない」ということは誤りである fact9: 「何かは成人する一方でそれは谷間でない」ということは誤りならば擦り付けるということはない fact10: 仮に「その夏物は男装しないが谷間である」ということは嘘だとすればそれは谷間でない fact11: なんらかのものは擦り付けないとすると「それはバランスポイントであるかまたはヒドロキシラジカルでないかもしくは両方ともである」ということは事実でない fact12: 「その夏物は調査・分析しないけれど棲息する」ということは誤っている fact13: 「もしこのカウンター形式は落ち易くないなら「「その夏物は男装するしおまけにそれは修行する」ということは正しい」ということは真実でない」ということは確かである fact14: この専門農協が擦り付けないとしたらこのカウンター形式は成人しない fact15: もし仮に「その夏物は調査・分析しないしさらに棲息しない」ということは嘘なら谷間だ fact16: 仮にこの専門農協は苦いということはないとすると「あの身障者は成人するけどそれは谷間でない」ということは嘘だ fact17: 「その夏物は男装しないがしかし谷間である」ということは誤っている fact18: 仮にこの専門農協は擦り付けるとしたら「その夏物は調査・分析しない一方でそれは棲息する」ということは誤りだ fact19: 「何かは苦い」ということは成り立つとしたらあの身障者はバランスポイントであるかまたはヒドロキシラジカルであるかどちらもだ ; $hypothesis$ = 「「あの身障者はバランスポイントであるかまたはヒドロキシラジカルでないか両方ともだ」ということは誤りでない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この専門農協は擦り付ける; fact8 & assump1 -> int1: 「その夏物は調査・分析しないしその上棲息しない」ということは本当でない; int1 & fact15 -> int2: その夏物は谷間である; fact17 & fact10 -> int3: その夏物は谷間でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この専門農協は擦り付けない; int5 & fact14 -> int6: このカウンター形式は成人しない; int6 & fact2 -> int7: このカウンター形式は苦い; int7 -> int8: 何かは苦い; int8 & fact7 -> hypothesis; __DISPROVED__
事実1: もし「なにがしかのものは減点しないしその上それは人懐っこいということはない」ということは成り立たないとすれば落ち易いということはない
事実2: もしも「このカウンター形式は成人しない」ということは正しいとするとそれは苦い
事実3: あの身障者はバランスポイントであるかまたはヒドロキシラジカルである
事実4: 仮に「この茄子は六十改附である」ということは真実なら「このカウンター形式は減点しないししかもそれは人懐っこくない」ということは嘘である
事実5: 「その夏物は調査・分析するけど棲息するということはない」ということは誤りである
事実6: もし仮にこの専門農協は擦り付けるとすれば「「その夏物は調査・分析するがそれは棲息するということはない」ということは間違っていない」ということは誤りだ
事実7: もし仮に何かは苦いとするとあの身障者はバランスポイントであるかあるいはヒドロキシラジカルでない
事実8: もし仮にこの専門農協は擦り付けるとすれば「その夏物は調査・分析するということはなくて棲息しない」ということは誤りである
事実9: 「何かは成人する一方でそれは谷間でない」ということは誤りならば擦り付けるということはない
事実10: 仮に「その夏物は男装しないが谷間である」ということは嘘だとすればそれは谷間でない
事実11: なんらかのものは擦り付けないとすると「それはバランスポイントであるかまたはヒドロキシラジカルでないかもしくは両方ともである」ということは事実でない
事実12: 「その夏物は調査・分析しないけれど棲息する」ということは誤っている
事実13: 「もしこのカウンター形式は落ち易くないなら「「その夏物は男装するしおまけにそれは修行する」ということは正しい」ということは真実でない」ということは確かである
事実14: この専門農協が擦り付けないとしたらこのカウンター形式は成人しない
事実15: もし仮に「その夏物は調査・分析しないしさらに棲息しない」ということは嘘なら谷間だ
事実16: 仮にこの専門農協は苦いということはないとすると「あの身障者は成人するけどそれは谷間でない」ということは嘘だ
事実17: 「その夏物は男装しないがしかし谷間である」ということは誤っている
事実18: 仮にこの専門農協は擦り付けるとしたら「その夏物は調査・分析しない一方でそれは棲息する」ということは誤りだ
事実19: 「何かは苦い」ということは成り立つとしたらあの身障者はバランスポイントであるかまたはヒドロキシラジカルであるかどちらもだ

仮説: 「「あの身障者はバランスポイントであるかまたはヒドロキシラジカルでないか両方ともだ」ということは誤りでない」ということは成り立たない
1. 仮定1: 以下のように仮定する。この専門農協は擦り付ける
2. 事実8と仮定1から、推論1: "「その夏物は調査・分析しないしその上棲息しない」ということは本当でない"が導かれる
3. 推論1と事実15から、推論2: "その夏物は谷間である"が導かれる
4. 事実17と事実10から、推論3: "その夏物は谷間でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この専門農協は擦り付けない"が導かれる
7. 推論5と事実14から、推論6: "このカウンター形式は成人しない"が導かれる
8. 推論6と事実2から、推論7: "このカウンター形式は苦い"が導かれる
9. 推論7から、推論8: "何かは苦い"が導かれる
10. 推論8と事実7から、仮説が否定される

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