その中心気圧はレッドゴッドでない
fact1: もし「そのソロ活動は失えるということはないしそれは壊れ掛けない」ということは誤っているとしたらその中心気圧はレッドゴッドである fact2: その事故車は鍾乳洞だ fact3: 仮に「その事故車は伝い落ちない」ということは成り立つとするとその中心気圧はレッドゴッドでないがしかし鍾乳洞だ fact4: もし仮になにかは鞘走らないとすれば懐っこいかあるいはそれは味わい深いかまたは両方ともである fact5: その十二Ｃ原子は保存容器でない fact6: そのソロ活動は味わい深いとすれば「その事故車は味わい深い」ということは正しい fact7: 仮にその十二Ｃ原子が保存容器でなくて加えてそれが近似出来ないとしたらそのサイズバリヤーは鞘走らない fact8: もし仮に「ある物は八十年代半ばだ一方でガラス瓶であるということはない」ということは嘘であるとしたら伝い落ちない fact9: もし仮に何らかの物は味わい深いとすると「それは八十年代半ばでガラス瓶でない」ということは事実でない fact10: もしもその事故車は鍾乳洞であるなら「そのソロ活動は失えるということはないしその上壊れ掛けない」ということは確かでない
fact10 & fact2 -> int1: 「そのソロ活動は失えらないしかつ壊れ掛けない」ということは嘘である; int1 & fact1 -> hypothesis;
fact10 & fact2 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> hypothesis;
その中心気圧はレッドゴッドでない
fact16 -> int2: 仮に「その事故車は八十年代半ばであるがガラス瓶でない」ということは嘘であるならそれは伝い落ちない; fact17 -> int3: もしもその事故車は味わい深いなら「八十年代半ばであるしガラス瓶でない」ということは間違いだ; fact11 -> int4: もしそのサイズバリヤーが鞘走るということはないとすると懐っこいかもしくはそれは味わい深いかまたはどちらもだ;
$facts$ = fact1: もし「そのソロ活動は失えるということはないしそれは壊れ掛けない」ということは誤っているとしたらその中心気圧はレッドゴッドである fact2: その事故車は鍾乳洞だ fact3: 仮に「その事故車は伝い落ちない」ということは成り立つとするとその中心気圧はレッドゴッドでないがしかし鍾乳洞だ fact4: もし仮になにかは鞘走らないとすれば懐っこいかあるいはそれは味わい深いかまたは両方ともである fact5: その十二Ｃ原子は保存容器でない fact6: そのソロ活動は味わい深いとすれば「その事故車は味わい深い」ということは正しい fact7: 仮にその十二Ｃ原子が保存容器でなくて加えてそれが近似出来ないとしたらそのサイズバリヤーは鞘走らない fact8: もし仮に「ある物は八十年代半ばだ一方でガラス瓶であるということはない」ということは嘘であるとしたら伝い落ちない fact9: もし仮に何らかの物は味わい深いとすると「それは八十年代半ばでガラス瓶でない」ということは事実でない fact10: もしもその事故車は鍾乳洞であるなら「そのソロ活動は失えるということはないしその上壊れ掛けない」ということは確かでない ; $hypothesis$ = その中心気圧はレッドゴッドでない ; $proof$ = 
fact10 & fact2 -> int1: 「そのソロ活動は失えらないしかつ壊れ掛けない」ということは嘘である; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「そのソロ活動は失えるということはないしそれは壊れ掛けない」ということは誤っているとしたらその中心気圧はレッドゴッドである
事実2: その事故車は鍾乳洞だ
事実3: 仮に「その事故車は伝い落ちない」ということは成り立つとするとその中心気圧はレッドゴッドでないがしかし鍾乳洞だ
事実4: もし仮になにかは鞘走らないとすれば懐っこいかあるいはそれは味わい深いかまたは両方ともである
事実5: その十二Ｃ原子は保存容器でない
事実6: そのソロ活動は味わい深いとすれば「その事故車は味わい深い」ということは正しい
事実7: 仮にその十二Ｃ原子が保存容器でなくて加えてそれが近似出来ないとしたらそのサイズバリヤーは鞘走らない
事実8: もし仮に「ある物は八十年代半ばだ一方でガラス瓶であるということはない」ということは嘘であるとしたら伝い落ちない
事実9: もし仮に何らかの物は味わい深いとすると「それは八十年代半ばでガラス瓶でない」ということは事実でない
事実10: もしもその事故車は鍾乳洞であるなら「そのソロ活動は失えるということはないしその上壊れ掛けない」ということは確かでない

仮説: その中心気圧はレッドゴッドでない
1. 事実10と事実2から、推論1: "「そのソロ活動は失えらないしかつ壊れ掛けない」ということは嘘である"が導かれる
2. 推論1と事実1から、仮説が否定される

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