その地球防衛軍テラホークスは膨らみ切らない
fact1: すべてのものは形成され易いかもしくは木目細かい fact2: その地球防衛軍テラホークスは手広いかあるいは誓い合うか両方ともだ fact3: その地球防衛軍テラホークスは命名しないか起死回生であるか両方だ fact4: その地球防衛軍テラホークスが手広くないとしたら赤っぽくない fact5: もしもその地球防衛軍テラホークスが手広くないかまたは赤しなら「それは登山客でない」ということは成り立つ fact6: 全ては馬鹿でかいか注ぎ始めるかあるいはどちらもだ fact7: あらゆる物は手広いかまたはそれは誓い合うかまたはどちらもだ fact8: その地球防衛軍テラホークスは赤っぽくないか読み難いかあるいは両方である fact9: 仮に手広くない物が誓い合うということはないならそれは膨らみ切らない fact10: その投票結果が誓い合うということはないとするとあの国家主義的イデオロギーは手広いし赤っぽい fact11: 仮に「そのナビゲーターは読み難くて更に膨らみ切る」ということは成り立たないとしたらその投票結果は誓い合わない fact12: もし「その地球防衛軍テラホークスは属しない」ということは成り立てばそれは手痛い fact13: 仮に何らかのものが赤っぽくないかもしくは読み難くないかあるいはどちらもであるとするとそれは膨らみ切る fact14: その地球防衛軍テラホークスは赤っぽいか読み難くない fact15: 仮になんらかの物がＩＣＴＲでないかそれは張り詰めるということはないかまたはどちらもなら展開出来る fact16: 仮にその地球防衛軍テラホークスが洒落臭いということはないならばそれは赤っぽい fact17: もし「何かは癒合しないしかつ拘禁しない」ということは事実と異なるとしたら小高くない fact18: その地球防衛軍テラホークスは読み難くないかもしくはそれは数値以外である fact19: 何もかもは手広くないかまたは誓い合うかあるいは両方ともだ fact20: もしその地球防衛軍テラホークスが膨らみ切らないとしたら積極的平和でない fact21: もしもその地球防衛軍テラホークスが手広くないかそれは誓い合うかもしくはどちらもであるならば赤っぽくない fact22: この衛生兵は膨らみ切る fact23: 仮にあるものが生き残らないかもしくは抱き合わないかまたは両方ともであるなら返りらしい
fact19 -> int1: その地球防衛軍テラホークスは手広くないかあるいはそれは誓い合う; int1 & fact21 -> int2: 「その地球防衛軍テラホークスは赤っぽいということはない」ということは成り立つ; int2 -> int3: その地球防衛軍テラホークスは赤っぽくないかそれは読み難くないかもしくは両方ともだ; fact13 -> int4: 仮にその地球防衛軍テラホークスが赤っぽいということはないかあるいはそれは読み難くないかもしくは両方ともならそれは膨らみ切る; int3 & int4 -> hypothesis;
あの国家主義的イデオロギーは赤っぽい
fact25 -> int5: 仮に「その方々は癒合しないしさらに拘禁しない」ということは間違っているとすると小高くない;
$facts$ = fact1: すべてのものは形成され易いかもしくは木目細かい fact2: その地球防衛軍テラホークスは手広いかあるいは誓い合うか両方ともだ fact3: その地球防衛軍テラホークスは命名しないか起死回生であるか両方だ fact4: その地球防衛軍テラホークスが手広くないとしたら赤っぽくない fact5: もしもその地球防衛軍テラホークスが手広くないかまたは赤しなら「それは登山客でない」ということは成り立つ fact6: 全ては馬鹿でかいか注ぎ始めるかあるいはどちらもだ fact7: あらゆる物は手広いかまたはそれは誓い合うかまたはどちらもだ fact8: その地球防衛軍テラホークスは赤っぽくないか読み難いかあるいは両方である fact9: 仮に手広くない物が誓い合うということはないならそれは膨らみ切らない fact10: その投票結果が誓い合うということはないとするとあの国家主義的イデオロギーは手広いし赤っぽい fact11: 仮に「そのナビゲーターは読み難くて更に膨らみ切る」ということは成り立たないとしたらその投票結果は誓い合わない fact12: もし「その地球防衛軍テラホークスは属しない」ということは成り立てばそれは手痛い fact13: 仮に何らかのものが赤っぽくないかもしくは読み難くないかあるいはどちらもであるとするとそれは膨らみ切る fact14: その地球防衛軍テラホークスは赤っぽいか読み難くない fact15: 仮になんらかの物がＩＣＴＲでないかそれは張り詰めるということはないかまたはどちらもなら展開出来る fact16: 仮にその地球防衛軍テラホークスが洒落臭いということはないならばそれは赤っぽい fact17: もし「何かは癒合しないしかつ拘禁しない」ということは事実と異なるとしたら小高くない fact18: その地球防衛軍テラホークスは読み難くないかもしくはそれは数値以外である fact19: 何もかもは手広くないかまたは誓い合うかあるいは両方ともだ fact20: もしその地球防衛軍テラホークスが膨らみ切らないとしたら積極的平和でない fact21: もしもその地球防衛軍テラホークスが手広くないかそれは誓い合うかもしくはどちらもであるならば赤っぽくない fact22: この衛生兵は膨らみ切る fact23: 仮にあるものが生き残らないかもしくは抱き合わないかまたは両方ともであるなら返りらしい ; $hypothesis$ = その地球防衛軍テラホークスは膨らみ切らない ; $proof$ = 
fact19 -> int1: その地球防衛軍テラホークスは手広くないかあるいはそれは誓い合う; int1 & fact21 -> int2: 「その地球防衛軍テラホークスは赤っぽいということはない」ということは成り立つ; int2 -> int3: その地球防衛軍テラホークスは赤っぽくないかそれは読み難くないかもしくは両方ともだ; fact13 -> int4: 仮にその地球防衛軍テラホークスが赤っぽいということはないかあるいはそれは読み難くないかもしくは両方ともならそれは膨らみ切る; int3 & int4 -> 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: 仮にあるものが生き残らないかもしくは抱き合わないかまたは両方ともであるなら返りらしい

仮説: その地球防衛軍テラホークスは膨らみ切らない
1. 事実19から、推論1: "その地球防衛軍テラホークスは手広くないかあるいはそれは誓い合う"が導かれる
2. 推論1と事実21から、推論2: "「その地球防衛軍テラホークスは赤っぽいということはない」ということは成り立つ"が導かれる
3. 推論2から、推論3: "その地球防衛軍テラホークスは赤っぽくないかそれは読み難くないかもしくは両方ともだ"が導かれる
4. 事実13から、推論4: "仮にその地球防衛軍テラホークスが赤っぽいということはないかあるいはそれは読み難くないかもしくは両方ともならそれは膨らみ切る"が導かれる
5. 推論3と推論4から、仮説が否定される

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