「「生産量であるとすると「修羅場であるかまたは信じ難いということはないかあるいはどちらもだ」ということは事実と異なる」物はある」ということは本当であるということはない
fact1: 「杵ならば相撲取りでない」物はある fact2: もしあの不思議が書き抜けば生産量であるかまたはＭ四戦車でない fact3: 「もしも「薬草浴だ」ということは真実であるとすれば「打ち明けるかあるいは丸事でないかまたは両方だ」ということは成り立たない」ものはある fact4: とある物は涼しいとすれば「それは統御出来るかもしくは上り易い」ということは成り立たない fact5: もし仮にあるものが通り易いならば素早くない fact6: もしも何らかのものは生産量であるとしたら「修羅場であるかそれは信じ難くない」ということは成り立たない fact7: 塩ビは上り易いかあるいは杵でないかあるいはどちらもである fact8: 「もし仮に口煩いとしたら育ち難いかもしくは猫伯母さんでないか両方である」物はある fact9: そのこたあは生産量ならば「走り回るかあるいはそれは婦女暴行でないかまたは両方ともだ」ということは本当である
fact6 -> int1: もしそのこたあは生産量だとすると「修羅場であるかまたはそれは信じ難くないか両方ともである」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: 「杵ならば相撲取りでない」物はある fact2: もしあの不思議が書き抜けば生産量であるかまたはＭ四戦車でない fact3: 「もしも「薬草浴だ」ということは真実であるとすれば「打ち明けるかあるいは丸事でないかまたは両方だ」ということは成り立たない」ものはある fact4: とある物は涼しいとすれば「それは統御出来るかもしくは上り易い」ということは成り立たない fact5: もし仮にあるものが通り易いならば素早くない fact6: もしも何らかのものは生産量であるとしたら「修羅場であるかそれは信じ難くない」ということは成り立たない fact7: 塩ビは上り易いかあるいは杵でないかあるいはどちらもである fact8: 「もし仮に口煩いとしたら育ち難いかもしくは猫伯母さんでないか両方である」物はある fact9: そのこたあは生産量ならば「走り回るかあるいはそれは婦女暴行でないかまたは両方ともだ」ということは本当である ; $hypothesis$ = 「「生産量であるとすると「修羅場であるかまたは信じ難いということはないかあるいはどちらもだ」ということは事実と異なる」物はある」ということは本当であるということはない ; $proof$ = 
fact6 -> int1: もしそのこたあは生産量だとすると「修羅場であるかまたはそれは信じ難くないか両方ともである」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: 「杵ならば相撲取りでない」物はある
事実2: もしあの不思議が書き抜けば生産量であるかまたはＭ四戦車でない
事実3: 「もしも「薬草浴だ」ということは真実であるとすれば「打ち明けるかあるいは丸事でないかまたは両方だ」ということは成り立たない」ものはある
事実4: とある物は涼しいとすれば「それは統御出来るかもしくは上り易い」ということは成り立たない
事実5: もし仮にあるものが通り易いならば素早くない
事実6: もしも何らかのものは生産量であるとしたら「修羅場であるかそれは信じ難くない」ということは成り立たない
事実7: 塩ビは上り易いかあるいは杵でないかあるいはどちらもである
事実8: 「もし仮に口煩いとしたら育ち難いかもしくは猫伯母さんでないか両方である」物はある
事実9: そのこたあは生産量ならば「走り回るかあるいはそれは婦女暴行でないかまたは両方ともだ」ということは本当である

仮説: 「「生産量であるとすると「修羅場であるかまたは信じ難いということはないかあるいはどちらもだ」ということは事実と異なる」物はある」ということは本当であるということはない
1. 事実6から、推論1: "もしそのこたあは生産量だとすると「修羅場であるかまたはそれは信じ難くないか両方ともである」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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