あの最高位は優しない
fact1: 「その地域市場は歩合給でないがそれは司法組織である」ということは成り立たない fact2: 仮に何かは筋注するとすると「それは漏れ易くないけど八月初旬である」ということは誤りだ fact3: もしも「あの地震直後は漏れ易くないけれど八月初旬だ」ということは偽であるとすればこのアンダーカバーは子供っぽい fact4: 仮に「その地域市場は用ゆ」ということは誤っていないなら「あの地震直後は筋注する」ということは本当だ fact5: もし「「輝かしし子供っぽい」ということは嘘である」ものがあるとしたらその地域市場は八月初旬でない fact6: 仮にその地域市場が筋注するならあの地震直後は筋注する fact7: もしその地域市場は筋注するなら「そのレッドカレーは消化し難いし加えて筋注する」ということは間違いである fact8: もし仮にあの地震直後は漏れ易くないとすると「それは輝かししそれは子供っぽい」ということは嘘だ fact9: 「「その地域市場は歩合給でないけれど司法組織である」ということは嘘でない」ということは誤りであるならそれは白内障でない fact10: もしその地域市場は筋注するなら「そのレッドカレーは消化し難くないが筋注する」ということは偽だ fact11: 何かは八月初旬でないならば「それは用ゆし加えて筋注する」ということは事実である fact12: あの地震直後は漏れ易いということはない fact13: もし「「「あの最高位は後ろめたいけどそれは優しない」ということは事実だ」ということは成り立たない」ということは確かであるならばそのレッドカレーは優し fact14: そのハンドメイドは保育ママでない fact15: もし仮に「子供っぽくない」物があるとすればその地域市場は八月初旬でない fact16: もし仮になにがしかの物が白内障であるということはないとすれば用ゆかもしくは筋注する fact17: もし仮になにがしかの物が用ゆないとすると消化し難いかまたはそれは八月初旬であるかまたは両方ともである fact18: もし仮にそのレッドカレーが優しとするとこのアンダーカバーは如此し fact19: もし仮にそのハンドメイドは後ろめたくないとすれば「その地域市場は筋注しない一方で漏れ易い」ということは成り立たない fact20: 仮になにかは保育ママでないならそれは後ろめたいということはない fact21: もしも「そのレッドカレーは消化し難くないけれどそれは筋注する」ということは真実でないとしたらあの最高位は優し fact22: 「そのレッドカレーは用ゆということはない」ということは確かである
fact8 & fact12 -> int1: 「あの地震直後は輝かしし子供っぽい」ということは本当でない; int1 -> int2: 「「輝かしし子供っぽい」ということは成り立たない」ものはある; int2 & fact5 -> int3: その地域市場は八月初旬でない; fact11 -> int4: もしその地域市場が八月初旬でないとするとそれは用ゆしそれにそれは筋注する; int3 & int4 -> int5: その地域市場は用ゆしそれは筋注する; int5 -> int6: その地域市場は筋注する; int6 & fact10 -> int7: 「そのレッドカレーは消化し難くない一方で筋注する」ということは成り立たない; int7 & fact21 -> hypothesis;
このアンダーカバーは子供っぽくて加えてそれは如此し
fact30 -> int8: もしもあの地震直後は筋注するとしたら「漏れ易いということはないけど八月初旬だ」ということは嘘である; fact24 -> int9: 仮にその地域市場は白内障でないとするとそれは用ゆかまたは筋注するかあるいは両方ともだ; fact31 & fact25 -> int10: その地域市場は白内障でない; int9 & int10 -> int11: その地域市場は用ゆかあるいはそれは筋注するかもしくは両方である; int11 & fact28 & fact26 -> int12: 「あの地震直後は筋注する」ということは事実だ; int8 & int12 -> int13: 「あの地震直後は漏れ易くない一方で八月初旬だ」ということは成り立たない; fact29 & int13 -> int14: このアンダーカバーは子供っぽい;
$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$ = 
fact8 & fact12 -> int1: 「あの地震直後は輝かしし子供っぽい」ということは本当でない; int1 -> int2: 「「輝かしし子供っぽい」ということは成り立たない」ものはある; int2 & fact5 -> int3: その地域市場は八月初旬でない; fact11 -> int4: もしその地域市場が八月初旬でないとするとそれは用ゆしそれにそれは筋注する; int3 & int4 -> int5: その地域市場は用ゆしそれは筋注する; int5 -> int6: その地域市場は筋注する; int6 & fact10 -> int7: 「そのレッドカレーは消化し難くない一方で筋注する」ということは成り立たない; int7 & 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: 「そのレッドカレーは用ゆということはない」ということは確かである

仮説: あの最高位は優しない
1. 事実8と事実12から、推論1: "「あの地震直後は輝かしし子供っぽい」ということは本当でない"が導かれる
2. 推論1から、推論2: "「「輝かしし子供っぽい」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実5から、推論3: "その地域市場は八月初旬でない"が導かれる
4. 事実11から、推論4: "もしその地域市場が八月初旬でないとするとそれは用ゆしそれにそれは筋注する"が導かれる
5. 推論3と推論4から、推論5: "その地域市場は用ゆしそれは筋注する"が導かれる
6. 推論5から、推論6: "その地域市場は筋注する"が導かれる
7. 推論6と事実10から、推論7: "「そのレッドカレーは消化し難くない一方で筋注する」ということは成り立たない"が導かれる
8. 推論7と事実21から、仮説が否定される

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