「この内田・各論が紅潮するしその上それは街路である」ということは成り立たない
fact1: もし仮に「「酸くないかあるいは幼けないかまたは両方である」ということは誤りである」ものがあるとしたらその水面は御寒い fact2: 「其れっぽいものはある」ということは本当だ fact3: その万年竹屋敷は理解し辛くておまけに眩い fact4: 「「酸くないかあるいは幼けないかもしくは両方である」ということは事実と異なる」ものはある fact5: 「その万年竹屋敷は御寒いが其れっぽくない」ということは間違っているとすれば「この内田・各論は御寒くない」ということは確かだ fact6: 「何かは幼けなくない」ということは事実である fact7: 仮にその水面が由々ししおまけにそれは酸いとすれば「幼けなくない」ということは事実だ fact8: 何かは熱苦しいとすれば「紅潮する」ということは成り立つ fact9: 幼けなくない物は理解し辛くないし更に熱苦しいということはない fact10: その水面が息苦しいとしたら由々し fact11: もしあるものが其れっぽくてそれが御寒いならばこの内田・各論は理解し辛い fact12: なんらかのものは酸くないかまたはそれは幼けないか両方ともである fact13: 「この内田・各論は街路である」ということは確かである fact14: もしなにかは御寒くないとすれば「それは紅潮するしそれは街路だ」ということは間違いである fact15: 「その利鞘は哀れっぽい一方で議決でない」ということは成り立たない fact16: 「その万年竹屋敷は眩いけど農耕でない」ということは成り立たない fact17: 仮にあるものは理解し辛くないとすれば「「それは御寒くてさらに其れっぽくない」ということは誤っていない」ということは嘘だ fact18: もしこの内田・各論が理解し辛いならばそれは熱苦しい fact19: もしも「その万年竹屋敷は眩いけれど農耕でない」ということは成り立たないとしたらその水面は其れっぽい fact20: 仮にその水面が理解し辛くないしその上熱苦しくないとするとその万年竹屋敷は理解し辛くない
fact19 & fact16 -> int1: その水面は其れっぽい; fact1 & fact4 -> int2: その水面は御寒い; int1 & int2 -> int3: その水面は其れっぽいしそれは御寒い; int3 -> int4: 「其れっぽくて御寒い」物はある; int4 & fact11 -> int5: この内田・各論は理解し辛い; int5 & fact18 -> int6: この内田・各論は熱苦しい; fact8 -> int7: もしもこの内田・各論が熱苦しいとするとそれは紅潮する; int6 & int7 -> int8: この内田・各論は紅潮する; int8 & fact13 -> hypothesis;
「この内田・各論は紅潮するし街路だ」ということは成り立つということはない
fact22 -> int9: もしもこの内田・各論は御寒くないとすると「紅潮するしかつそれは街路である」ということは正しいということはない; fact24 -> int10: もしも「その万年竹屋敷は理解し辛くない」ということは事実ならば「それは御寒いものであり更に其れっぽくない」ということは成り立たない; fact25 -> int11: もしもその水面が幼けなくないとすると理解し辛くないし熱苦しいということはない; fact27 -> int12: 「「哀れっぽい一方で議決でない」ということは誤りである」ものはある;
$facts$ = fact1: もし仮に「「酸くないかあるいは幼けないかまたは両方である」ということは誤りである」ものがあるとしたらその水面は御寒い fact2: 「其れっぽいものはある」ということは本当だ fact3: その万年竹屋敷は理解し辛くておまけに眩い fact4: 「「酸くないかあるいは幼けないかもしくは両方である」ということは事実と異なる」ものはある fact5: 「その万年竹屋敷は御寒いが其れっぽくない」ということは間違っているとすれば「この内田・各論は御寒くない」ということは確かだ fact6: 「何かは幼けなくない」ということは事実である fact7: 仮にその水面が由々ししおまけにそれは酸いとすれば「幼けなくない」ということは事実だ fact8: 何かは熱苦しいとすれば「紅潮する」ということは成り立つ fact9: 幼けなくない物は理解し辛くないし更に熱苦しいということはない fact10: その水面が息苦しいとしたら由々し fact11: もしあるものが其れっぽくてそれが御寒いならばこの内田・各論は理解し辛い fact12: なんらかのものは酸くないかまたはそれは幼けないか両方ともである fact13: 「この内田・各論は街路である」ということは確かである fact14: もしなにかは御寒くないとすれば「それは紅潮するしそれは街路だ」ということは間違いである fact15: 「その利鞘は哀れっぽい一方で議決でない」ということは成り立たない fact16: 「その万年竹屋敷は眩いけど農耕でない」ということは成り立たない fact17: 仮にあるものは理解し辛くないとすれば「「それは御寒くてさらに其れっぽくない」ということは誤っていない」ということは嘘だ fact18: もしこの内田・各論が理解し辛いならばそれは熱苦しい fact19: もしも「その万年竹屋敷は眩いけれど農耕でない」ということは成り立たないとしたらその水面は其れっぽい fact20: 仮にその水面が理解し辛くないしその上熱苦しくないとするとその万年竹屋敷は理解し辛くない ; $hypothesis$ = 「この内田・各論が紅潮するしその上それは街路である」ということは成り立たない ; $proof$ = 
fact19 & fact16 -> int1: その水面は其れっぽい; fact1 & fact4 -> int2: その水面は御寒い; int1 & int2 -> int3: その水面は其れっぽいしそれは御寒い; int3 -> int4: 「其れっぽくて御寒い」物はある; int4 & fact11 -> int5: この内田・各論は理解し辛い; int5 & fact18 -> int6: この内田・各論は熱苦しい; fact8 -> int7: もしもこの内田・各論が熱苦しいとするとそれは紅潮する; int6 & int7 -> int8: この内田・各論は紅潮する; int8 & fact13 -> hypothesis; __DISPROVED__
事実1: もし仮に「「酸くないかあるいは幼けないかまたは両方である」ということは誤りである」ものがあるとしたらその水面は御寒い
事実2: 「其れっぽいものはある」ということは本当だ
事実3: その万年竹屋敷は理解し辛くておまけに眩い
事実4: 「「酸くないかあるいは幼けないかもしくは両方である」ということは事実と異なる」ものはある
事実5: 「その万年竹屋敷は御寒いが其れっぽくない」ということは間違っているとすれば「この内田・各論は御寒くない」ということは確かだ
事実6: 「何かは幼けなくない」ということは事実である
事実7: 仮にその水面が由々ししおまけにそれは酸いとすれば「幼けなくない」ということは事実だ
事実8: 何かは熱苦しいとすれば「紅潮する」ということは成り立つ
事実9: 幼けなくない物は理解し辛くないし更に熱苦しいということはない
事実10: その水面が息苦しいとしたら由々し
事実11: もしあるものが其れっぽくてそれが御寒いならばこの内田・各論は理解し辛い
事実12: なんらかのものは酸くないかまたはそれは幼けないか両方ともである
事実13: 「この内田・各論は街路である」ということは確かである
事実14: もしなにかは御寒くないとすれば「それは紅潮するしそれは街路だ」ということは間違いである
事実15: 「その利鞘は哀れっぽい一方で議決でない」ということは成り立たない
事実16: 「その万年竹屋敷は眩いけど農耕でない」ということは成り立たない
事実17: 仮にあるものは理解し辛くないとすれば「「それは御寒くてさらに其れっぽくない」ということは誤っていない」ということは嘘だ
事実18: もしこの内田・各論が理解し辛いならばそれは熱苦しい
事実19: もしも「その万年竹屋敷は眩いけれど農耕でない」ということは成り立たないとしたらその水面は其れっぽい
事実20: 仮にその水面が理解し辛くないしその上熱苦しくないとするとその万年竹屋敷は理解し辛くない

仮説: 「この内田・各論が紅潮するしその上それは街路である」ということは成り立たない
1. 事実19と事実16から、推論1: "その水面は其れっぽい"が導かれる
2. 事実1と事実4から、推論2: "その水面は御寒い"が導かれる
3. 推論1と推論2から、推論3: "その水面は其れっぽいしそれは御寒い"が導かれる
4. 推論3から、推論4: "「其れっぽくて御寒い」物はある"が導かれる
5. 推論4と事実11から、推論5: "この内田・各論は理解し辛い"が導かれる
6. 推論5と事実18から、推論6: "この内田・各論は熱苦しい"が導かれる
7. 事実8から、推論7: "もしもこの内田・各論が熱苦しいとするとそれは紅潮する"が導かれる
8. 推論6と推論7から、推論8: "この内田・各論は紅潮する"が導かれる
9. 推論8と事実13から、仮説が否定される

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