このＡＡはパンフラワーでない
fact1: もし仮に「あの一万二千年前は大差無くない」ということは本当であるならそのアメリカ軍機は清々しいかあるいは大差無いかもしくはどちらもである fact2: その科学雑誌は口汚くてそれは大差無い fact3: もし仮に「そのアラビアン・ナイトは文化人である」ということは本当であるとするとあの一万二千年前は大差無くない fact4: そのアラビアン・ナイトが溶かないならばあの一万二千年前は大差無くない fact5: なにがしかの物は荒々しいとすると「それは訳無くなくて責め付けない」ということは偽である fact6: あの都市空襲は荒々しいししかもナイフ形石器である fact7: その科学雑誌は荒々しい fact8: もしもその科学雑誌がパンフラワーだが大差無くないとするとそのアラビアン・ナイトは大差無い fact9: 「あの都市空襲はナイフ形石器であるかそれは溶かないか両方である」ということは成り立つ fact10: もし仮にその科学雑誌が清々しいがそれが荒々しいということはないならそのアラビアン・ナイトは大差無い fact11: もし仮に「あの一万二千年前は清々しくない一方でそれはナイフ形石器だ」ということは成り立たないとしたらあの都市空襲は清々しい fact12: その科学雑誌が責め付けるとするとあの都市空襲は訳無くなくてかつ責め付けるということはない fact13: 「そのアメリカ軍機はナイフ形石器だ」ということは成り立つということはない fact14: もしも「そのアラビアン・ナイトは文化人であるかそれは溶かないかまたはどちらもである」ということは成り立たないならばその科学雑誌は責め付ける fact15: あの都市空襲は清々しくない fact16: もしもなにがしかの物が訳無いとするとそれはパンフラワーでない fact17: もしもそのアメリカ軍機が大差無いとするとこのＡＡはパンフラワーである fact18: そのアメリカ軍機が清々しいならばあのＡＡはパンフラワーである fact19: もしもなにがしかのものは責め付けるとすれば「「そのアメリカ軍機はアミノ酸配列データベースでないし訳無くない」ということは誤っている」ということは成り立つ
void -> assump1: 以下のように仮定する。「「そのアラビアン・ナイトは文化人であるか溶かないかどちらもだ」ということは事実と異なるということはない」ということは成り立たない; fact14 & assump1 -> int1: その科学雑誌は責め付ける; int1 & fact12 -> int2: あの都市空襲が訳無くないしさらにそれは責め付けない; fact6 -> int3: あの都市空襲は荒々しい; fact5 -> int4: 仮にあの都市空襲は荒々しいならば「それは訳無くなくてしかも責め付けない」ということは成り立たない; int3 & int4 -> int5: 「あの都市空襲は訳無くなくて責め付けない」ということは誤っている; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのアラビアン・ナイトは文化人であるかまたは溶かないかもしくは両方ともである; int7 & fact3 & fact4 -> int8: あの一万二千年前は大差無くない; int8 & fact1 -> int9: そのアメリカ軍機は清々しいかあるいは大差無いかどちらもだ; int9 & fact18 & fact17 -> hypothesis;
「「そのアメリカ軍機はアミノ酸配列データベースでなくてまた訳無くない」ということは本当である」ということは嘘である
$facts$ = fact1: もし仮に「あの一万二千年前は大差無くない」ということは本当であるならそのアメリカ軍機は清々しいかあるいは大差無いかもしくはどちらもである fact2: その科学雑誌は口汚くてそれは大差無い fact3: もし仮に「そのアラビアン・ナイトは文化人である」ということは本当であるとするとあの一万二千年前は大差無くない fact4: そのアラビアン・ナイトが溶かないならばあの一万二千年前は大差無くない fact5: なにがしかの物は荒々しいとすると「それは訳無くなくて責め付けない」ということは偽である fact6: あの都市空襲は荒々しいししかもナイフ形石器である fact7: その科学雑誌は荒々しい fact8: もしもその科学雑誌がパンフラワーだが大差無くないとするとそのアラビアン・ナイトは大差無い fact9: 「あの都市空襲はナイフ形石器であるかそれは溶かないか両方である」ということは成り立つ fact10: もし仮にその科学雑誌が清々しいがそれが荒々しいということはないならそのアラビアン・ナイトは大差無い fact11: もし仮に「あの一万二千年前は清々しくない一方でそれはナイフ形石器だ」ということは成り立たないとしたらあの都市空襲は清々しい fact12: その科学雑誌が責め付けるとするとあの都市空襲は訳無くなくてかつ責め付けるということはない fact13: 「そのアメリカ軍機はナイフ形石器だ」ということは成り立つということはない fact14: もしも「そのアラビアン・ナイトは文化人であるかそれは溶かないかまたはどちらもである」ということは成り立たないならばその科学雑誌は責め付ける fact15: あの都市空襲は清々しくない fact16: もしもなにがしかの物が訳無いとするとそれはパンフラワーでない fact17: もしもそのアメリカ軍機が大差無いとするとこのＡＡはパンフラワーである fact18: そのアメリカ軍機が清々しいならばあのＡＡはパンフラワーである fact19: もしもなにがしかのものは責め付けるとすれば「「そのアメリカ軍機はアミノ酸配列データベースでないし訳無くない」ということは誤っている」ということは成り立つ ; $hypothesis$ = このＡＡはパンフラワーでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「そのアラビアン・ナイトは文化人であるか溶かないかどちらもだ」ということは事実と異なるということはない」ということは成り立たない; fact14 & assump1 -> int1: その科学雑誌は責め付ける; int1 & fact12 -> int2: あの都市空襲が訳無くないしさらにそれは責め付けない; fact6 -> int3: あの都市空襲は荒々しい; fact5 -> int4: 仮にあの都市空襲は荒々しいならば「それは訳無くなくてしかも責め付けない」ということは成り立たない; int3 & int4 -> int5: 「あの都市空襲は訳無くなくて責め付けない」ということは誤っている; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのアラビアン・ナイトは文化人であるかまたは溶かないかもしくは両方ともである; int7 & fact3 & fact4 -> int8: あの一万二千年前は大差無くない; int8 & fact1 -> int9: そのアメリカ軍機は清々しいかあるいは大差無いかどちらもだ; int9 & fact18 & fact17 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの一万二千年前は大差無くない」ということは本当であるならそのアメリカ軍機は清々しいかあるいは大差無いかもしくはどちらもである
事実2: その科学雑誌は口汚くてそれは大差無い
事実3: もし仮に「そのアラビアン・ナイトは文化人である」ということは本当であるとするとあの一万二千年前は大差無くない
事実4: そのアラビアン・ナイトが溶かないならばあの一万二千年前は大差無くない
事実5: なにがしかの物は荒々しいとすると「それは訳無くなくて責め付けない」ということは偽である
事実6: あの都市空襲は荒々しいししかもナイフ形石器である
事実7: その科学雑誌は荒々しい
事実8: もしもその科学雑誌がパンフラワーだが大差無くないとするとそのアラビアン・ナイトは大差無い
事実9: 「あの都市空襲はナイフ形石器であるかそれは溶かないか両方である」ということは成り立つ
事実10: もし仮にその科学雑誌が清々しいがそれが荒々しいということはないならそのアラビアン・ナイトは大差無い
事実11: もし仮に「あの一万二千年前は清々しくない一方でそれはナイフ形石器だ」ということは成り立たないとしたらあの都市空襲は清々しい
事実12: その科学雑誌が責め付けるとするとあの都市空襲は訳無くなくてかつ責め付けるということはない
事実13: 「そのアメリカ軍機はナイフ形石器だ」ということは成り立つということはない
事実14: もしも「そのアラビアン・ナイトは文化人であるかそれは溶かないかまたはどちらもである」ということは成り立たないならばその科学雑誌は責め付ける
事実15: あの都市空襲は清々しくない
事実16: もしもなにがしかの物が訳無いとするとそれはパンフラワーでない
事実17: もしもそのアメリカ軍機が大差無いとするとこのＡＡはパンフラワーである
事実18: そのアメリカ軍機が清々しいならばあのＡＡはパンフラワーである
事実19: もしもなにがしかのものは責め付けるとすれば「「そのアメリカ軍機はアミノ酸配列データベースでないし訳無くない」ということは誤っている」ということは成り立つ

仮説: このＡＡはパンフラワーでない
1. 仮定1: 以下のように仮定する。「「そのアラビアン・ナイトは文化人であるか溶かないかどちらもだ」ということは事実と異なるということはない」ということは成り立たない
2. 事実14と仮定1から、推論1: "その科学雑誌は責め付ける"が導かれる
3. 推論1と事実12から、推論2: "あの都市空襲が訳無くないしさらにそれは責め付けない"が導かれる
4. 事実6から、推論3: "あの都市空襲は荒々しい"が導かれる
5. 事実5から、推論4: "仮にあの都市空襲は荒々しいならば「それは訳無くなくてしかも責め付けない」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「あの都市空襲は訳無くなくて責め付けない」ということは誤っている"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "そのアラビアン・ナイトは文化人であるかまたは溶かないかもしくは両方ともである"が導かれる
9. 推論7と事実3と事実4から、推論8: "あの一万二千年前は大差無くない"が導かれる
10. 推論8と事実1から、推論9: "そのアメリカ軍機は清々しいかあるいは大差無いかどちらもだ"が導かれる
11. 推論9と事実18と事実17から、仮説が否定される

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