この領域独立性は東京文化会館だ
fact1: 「その空箱は厳つくてさらに世界ランクだ」ということは間違いだ fact2: その空箱はスパイラル状である fact3: 「あの紅玉屋は東京文化会館でない」ということは本当だ fact4: 仮にこのパル蚊が東京文化会館でないならこの領域独立性は開き易くない fact5: 仮に「その空箱は厳つかないけれど世界ランクだ」ということは偽であるとするとあのトマトケチャップは厳つい fact6: もし何らかのものが浮かれないとしたらそれは搬入するし開き易い fact7: もし仮にその空箱が世界ランクだとするとあのトマトケチャップは世界ランクである fact8: どれもこれもはスパイラル状だ fact9: あの紅玉屋はスパイラル状だ fact10: 「その空箱は厳つかないけど世界ランクである」ということは間違いだ fact11: もしもこのパル蚊が東京文化会館でないならばこの領域独立性は開き易くなくてかつ東京文化会館でない fact12: もし仮にその空箱が搬入すればそれは厳つい fact13: もし仮に「スパイラル状だが毎秒でない」物があるならあのトマトケチャップは搬入する fact14: あのトマトケチャップは簡易化しない fact15: 何もかもがスパイラル状だしまたそれは毎秒でない fact16: 仮に「あのトマトケチャップは厳つくて搬入する」ということは嘘でないとすれば「このパル蚊は東京文化会館でない」ということは本当である fact17: 「このパル蚊は厳つかないが東京文化会館だ」ということは成り立たない fact18: もし「その空箱は厳つい」ということは真実であるならば「あのトマトケチャップは厳つい」ということは本当だ fact19: もしもあのトマトケチャップが東京文化会館であるとしたらこの領域独立性は東京文化会館である fact20: 「スパイラル状な」ものはある fact21: あの紅玉屋はスパイラル状であるがしかしそれは厳つかない fact22: 「この領域独立性は開き易くない」ということは成り立つ fact23: もしもその空箱は厳ついし加えてスパイラル状であるならば「このパル蚊はスパイラル状でない」ということは正しい fact24: もしとあるものがスパイラル状でないとすると毎秒であるか東京文化会館であるか両方である
fact15 -> int1: あの紅玉屋はスパイラル状だが毎秒でない; int1 -> int2: 「スパイラル状だ一方で毎秒でない」物はある; int2 & fact13 -> int3: あのトマトケチャップは搬入する; fact5 & fact10 -> int4: あのトマトケチャップは厳つい; int3 & int4 -> int5: あのトマトケチャップは厳ついし更に搬入する; int5 & fact16 -> int6: このパル蚊は東京文化会館だということはない; int6 & fact11 -> int7: この領域独立性は開き易くなくて更にそれは東京文化会館だということはない; int7 -> hypothesis;
「この領域独立性は東京文化会館だ」ということは成り立つ
fact27 -> int8: もしもこのパル蚊がスパイラル状でないならば毎秒であるかそれは東京文化会館であるかあるいは両方だ; fact30 -> int9: 「仮にその空箱が浮かれないとするとその空箱は搬入するししかも開き易い」ということは正しい;
$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: もしとあるものがスパイラル状でないとすると毎秒であるか東京文化会館であるか両方である ; $hypothesis$ = この領域独立性は東京文化会館だ ; $proof$ = 
fact15 -> int1: あの紅玉屋はスパイラル状だが毎秒でない; int1 -> int2: 「スパイラル状だ一方で毎秒でない」物はある; int2 & fact13 -> int3: あのトマトケチャップは搬入する; fact5 & fact10 -> int4: あのトマトケチャップは厳つい; int3 & int4 -> int5: あのトマトケチャップは厳ついし更に搬入する; int5 & fact16 -> int6: このパル蚊は東京文化会館だということはない; int6 & fact11 -> int7: この領域独立性は開き易くなくて更にそれは東京文化会館だということはない; int7 -> 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: もしとあるものがスパイラル状でないとすると毎秒であるか東京文化会館であるか両方である

仮説: この領域独立性は東京文化会館だ
1. 事実15から、推論1: "あの紅玉屋はスパイラル状だが毎秒でない"が導かれる
2. 推論1から、推論2: "「スパイラル状だ一方で毎秒でない」物はある"が導かれる
3. 推論2と事実13から、推論3: "あのトマトケチャップは搬入する"が導かれる
4. 事実5と事実10から、推論4: "あのトマトケチャップは厳つい"が導かれる
5. 推論3と推論4から、推論5: "あのトマトケチャップは厳ついし更に搬入する"が導かれる
6. 推論5と事実16から、推論6: "このパル蚊は東京文化会館だということはない"が導かれる
7. 推論6と事実11から、推論7: "この領域独立性は開き易くなくて更にそれは東京文化会館だということはない"が導かれる
8. 推論7から、仮説が否定される

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