あの束の間は情けなくない
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: 仮にそのタキシード姿が見境無いとしたらあの水平線は敷き込む
fact1 & fact25 & fact16 -> int1: あの水平線は敷き込む; int1 & fact23 -> int2: 「そのぎざぎざは忘れ難いが惨くない」ということは成り立たない; int2 & fact22 -> int3: そのぎざぎざは積み重ねる; int3 & fact5 -> int4: そのぎざぎざは雨粒だ; int4 & fact7 -> hypothesis;
そのタキシード姿は惨い
$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: 仮にそのタキシード姿が見境無いとしたらあの水平線は敷き込む ; $hypothesis$ = あの束の間は情けなくない ; $proof$ = 
fact1 & fact25 & fact16 -> int1: あの水平線は敷き込む; int1 & fact23 -> int2: 「そのぎざぎざは忘れ難いが惨くない」ということは成り立たない; int2 & fact22 -> int3: そのぎざぎざは積み重ねる; int3 & fact5 -> int4: そのぎざぎざは雨粒だ; int4 & fact7 -> 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: 仮にそのタキシード姿が見境無いとしたらあの水平線は敷き込む

仮説: あの束の間は情けなくない
1. 事実1と事実25と事実16から、推論1: "あの水平線は敷き込む"が導かれる
2. 推論1と事実23から、推論2: "「そのぎざぎざは忘れ難いが惨くない」ということは成り立たない"が導かれる
3. 推論2と事実22から、推論3: "そのぎざぎざは積み重ねる"が導かれる
4. 推論3と事実5から、推論4: "そのぎざぎざは雨粒だ"が導かれる
5. 推論4と事実7から、仮説が否定される

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