「この花達は分かち難くないか減速するということはないかあるいは両方ともだ」ということは嘘だ
fact1: もしもこの花達が愛らしいとすればその新大陸は減速する fact2: 仮に何らかの物は減速しないとすると「分かち難くないけれど愛らしい」ということは成り立つ fact3: 仮にこのギャングが分かち難くない一方で愛らしいとすればあの政府予算は愛らしくない fact4: 仮にその新大陸が減速しないとすればこの花達は外れるということはないかそれは愛らしいかあるいは両方だ fact5: 「この花達は分かち難いがしかしコーディネイトでない」ということは間違っている fact6: この花達は減速しないかあるいは愛らしい fact7: 愛らしくないものはウマイヤ朝であるかまたは外れないかどちらもだ fact8: 仮に「このギャングは同銀だということはなくて更にコーディネイトでない」ということは事実と異なるとするとあの政府予算はウマイヤ朝だ fact9: あの政府予算が減速しないとしたらこの花達は分かち難いかあるいはウマイヤ朝でない fact10: もし仮にこの花達がコーディネイトであるならこのギャングは減速する fact11: もしなんらかの物が最終決定でないなら減速しないかもしくはそれは読み聞かせでない fact12: もし仮にあの政府予算はウマイヤ朝だとすれば「この通貨換算は座り易い」ということは成り立つ fact13: 「この通貨換算は最終決定であるということはない」ということは成り立つ fact14: この花達は分かち難いか減速しない fact15: この通貨換算が座り易いとするとその新大陸は外れないが愛らしい fact16: 仮にその新大陸が外れないならばこの花達は分かち難くないかもしくはそれは減速するということはない fact17: もしも何らかのものがウマイヤ朝であるかまたはそれは外れないかまたは両方だとすれば「座り易い」ということは事実である fact18: 仮になんらかの物は座り易いならば「分かち難くないか減速しないかあるいは両方ともだ」ということは成り立たない fact19: 「このギャングは同銀でないしそれはコーディネイトでない」ということは嘘だ
fact8 & fact19 -> int1: あの政府予算はウマイヤ朝だ; int1 & fact12 -> int2: 「この通貨換算は座り易い」ということは成り立つ; int2 & fact15 -> int3: その新大陸は外れないがしかしそれは愛らしい; int3 -> int4: その新大陸は外れない; int4 & fact16 -> hypothesis;
あの政府予算は座り易い
fact20 -> int5: もし仮にあの政府予算がウマイヤ朝であるかそれが外れないならそれは座り易い; fact23 -> int6: もし仮に「あの政府予算は愛らしくない」ということは成り立つとしたらそれはウマイヤ朝であるか外れないかもしくはどちらもである; fact22 -> int7: 「このギャングが減速しないならこのギャングは分かち難くないがそれは愛らしい」ということは正しい; fact21 -> int8: 仮に「この通貨換算は最終決定でない」ということは正しいとすれば減速しないかあるいはそれは読み聞かせでないかあるいは両方だ; int8 & fact25 -> int9: この通貨換算は減速しないかあるいは読み聞かせでない; int9 -> int10: なんらかのものは減速しないかもしくは読み聞かせでないかまたは両方である;
$facts$ = fact1: もしもこの花達が愛らしいとすればその新大陸は減速する fact2: 仮に何らかの物は減速しないとすると「分かち難くないけれど愛らしい」ということは成り立つ fact3: 仮にこのギャングが分かち難くない一方で愛らしいとすればあの政府予算は愛らしくない fact4: 仮にその新大陸が減速しないとすればこの花達は外れるということはないかそれは愛らしいかあるいは両方だ fact5: 「この花達は分かち難いがしかしコーディネイトでない」ということは間違っている fact6: この花達は減速しないかあるいは愛らしい fact7: 愛らしくないものはウマイヤ朝であるかまたは外れないかどちらもだ fact8: 仮に「このギャングは同銀だということはなくて更にコーディネイトでない」ということは事実と異なるとするとあの政府予算はウマイヤ朝だ fact9: あの政府予算が減速しないとしたらこの花達は分かち難いかあるいはウマイヤ朝でない fact10: もし仮にこの花達がコーディネイトであるならこのギャングは減速する fact11: もしなんらかの物が最終決定でないなら減速しないかもしくはそれは読み聞かせでない fact12: もし仮にあの政府予算はウマイヤ朝だとすれば「この通貨換算は座り易い」ということは成り立つ fact13: 「この通貨換算は最終決定であるということはない」ということは成り立つ fact14: この花達は分かち難いか減速しない fact15: この通貨換算が座り易いとするとその新大陸は外れないが愛らしい fact16: 仮にその新大陸が外れないならばこの花達は分かち難くないかもしくはそれは減速するということはない fact17: もしも何らかのものがウマイヤ朝であるかまたはそれは外れないかまたは両方だとすれば「座り易い」ということは事実である fact18: 仮になんらかの物は座り易いならば「分かち難くないか減速しないかあるいは両方ともだ」ということは成り立たない fact19: 「このギャングは同銀でないしそれはコーディネイトでない」ということは嘘だ ; $hypothesis$ = 「この花達は分かち難くないか減速するということはないかあるいは両方ともだ」ということは嘘だ ; $proof$ = 
fact8 & fact19 -> int1: あの政府予算はウマイヤ朝だ; int1 & fact12 -> int2: 「この通貨換算は座り易い」ということは成り立つ; int2 & fact15 -> int3: その新大陸は外れないがしかしそれは愛らしい; int3 -> int4: その新大陸は外れない; int4 & fact16 -> hypothesis; __DISPROVED__
事実1: もしもこの花達が愛らしいとすればその新大陸は減速する
事実2: 仮に何らかの物は減速しないとすると「分かち難くないけれど愛らしい」ということは成り立つ
事実3: 仮にこのギャングが分かち難くない一方で愛らしいとすればあの政府予算は愛らしくない
事実4: 仮にその新大陸が減速しないとすればこの花達は外れるということはないかそれは愛らしいかあるいは両方だ
事実5: 「この花達は分かち難いがしかしコーディネイトでない」ということは間違っている
事実6: この花達は減速しないかあるいは愛らしい
事実7: 愛らしくないものはウマイヤ朝であるかまたは外れないかどちらもだ
事実8: 仮に「このギャングは同銀だということはなくて更にコーディネイトでない」ということは事実と異なるとするとあの政府予算はウマイヤ朝だ
事実9: あの政府予算が減速しないとしたらこの花達は分かち難いかあるいはウマイヤ朝でない
事実10: もし仮にこの花達がコーディネイトであるならこのギャングは減速する
事実11: もしなんらかの物が最終決定でないなら減速しないかもしくはそれは読み聞かせでない
事実12: もし仮にあの政府予算はウマイヤ朝だとすれば「この通貨換算は座り易い」ということは成り立つ
事実13: 「この通貨換算は最終決定であるということはない」ということは成り立つ
事実14: この花達は分かち難いか減速しない
事実15: この通貨換算が座り易いとするとその新大陸は外れないが愛らしい
事実16: 仮にその新大陸が外れないならばこの花達は分かち難くないかもしくはそれは減速するということはない
事実17: もしも何らかのものがウマイヤ朝であるかまたはそれは外れないかまたは両方だとすれば「座り易い」ということは事実である
事実18: 仮になんらかの物は座り易いならば「分かち難くないか減速しないかあるいは両方ともだ」ということは成り立たない
事実19: 「このギャングは同銀でないしそれはコーディネイトでない」ということは嘘だ

仮説: 「この花達は分かち難くないか減速するということはないかあるいは両方ともだ」ということは嘘だ
1. 事実8と事実19から、推論1: "あの政府予算はウマイヤ朝だ"が導かれる
2. 推論1と事実12から、推論2: "「この通貨換算は座り易い」ということは成り立つ"が導かれる
3. 推論2と事実15から、推論3: "その新大陸は外れないがしかしそれは愛らしい"が導かれる
4. 推論3から、推論4: "その新大陸は外れない"が導かれる
5. 推論4と事実16から、仮説が否定される

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