あの生き癖は歳入歳出でないかそれは似付かわしくらないかあるいは両方ともだ
fact1: もしもあの生き癖は低酸素症でないならば似付かわしい fact2: 著効は低酸素症である fact3: 仮にこの市場競争力が望楼だとしたら著効だ fact4: 「なんらかのものは著効でないが望楼だ」ということは真実でないとするとそれは低酸素症だ fact5: もし仮になにかは勝ち易いとするとそれは浄化する fact6: もし仮になにかは入り易くないとすれば「それは手荒くないかもしくは野地板だということはないかどちらもである」ということは間違いである fact7: あの生き癖は似付かわしい fact8: あの生き癖は低酸素症でない fact9: あの生き癖は反応し易いということはない fact10: なにがしかの物が低酸素症であるならばそれは歳入歳出でないかあるいはそれは似付かわしくらないかもしくは両方ともである fact11: 仮にあの重要拠点は浄化するとすると「あの生き癖は著効でないけど望楼だ」ということは間違いだ fact12: もしなにかは浄化するとすれば望楼である fact13: もし仮にとあるものは低酸素症でないとしたらそれは似付かわしい fact14: もしなにがしかの物は低酸素症でないとすると「歳入歳出でないかもしくは似付かわしくらないかまたは両方ともである」ということは成り立たない
fact14 -> int1: もし「あの生き癖は低酸素症でない」ということは成り立つとしたら「それは歳入歳出であるということはないかまたは似付かわしくらないかもしくはどちらもだ」ということは成り立たない; int1 & fact8 -> hypothesis;
fact14 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact8 -> hypothesis;
この市場競争力は似付かわしくらない
fact17 -> int2: もし仮に「この市場競争力は著効である」ということは成り立てばそれは低酸素症だ; fact15 -> int3: もしもこの市場競争力が浄化するとするとそれは望楼だ; fact18 -> int4: この市場競争力が勝ち易いとすれば浄化する;
$facts$ = fact1: もしもあの生き癖は低酸素症でないならば似付かわしい fact2: 著効は低酸素症である fact3: 仮にこの市場競争力が望楼だとしたら著効だ fact4: 「なんらかのものは著効でないが望楼だ」ということは真実でないとするとそれは低酸素症だ fact5: もし仮になにかは勝ち易いとするとそれは浄化する fact6: もし仮になにかは入り易くないとすれば「それは手荒くないかもしくは野地板だということはないかどちらもである」ということは間違いである fact7: あの生き癖は似付かわしい fact8: あの生き癖は低酸素症でない fact9: あの生き癖は反応し易いということはない fact10: なにがしかの物が低酸素症であるならばそれは歳入歳出でないかあるいはそれは似付かわしくらないかもしくは両方ともである fact11: 仮にあの重要拠点は浄化するとすると「あの生き癖は著効でないけど望楼だ」ということは間違いだ fact12: もしなにかは浄化するとすれば望楼である fact13: もし仮にとあるものは低酸素症でないとしたらそれは似付かわしい fact14: もしなにがしかの物は低酸素症でないとすると「歳入歳出でないかもしくは似付かわしくらないかまたは両方ともである」ということは成り立たない ; $hypothesis$ = あの生き癖は歳入歳出でないかそれは似付かわしくらないかあるいは両方ともだ ; $proof$ = 
fact14 -> int1: もし「あの生き癖は低酸素症でない」ということは成り立つとしたら「それは歳入歳出であるということはないかまたは似付かわしくらないかもしくはどちらもだ」ということは成り立たない; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもあの生き癖は低酸素症でないならば似付かわしい
事実2: 著効は低酸素症である
事実3: 仮にこの市場競争力が望楼だとしたら著効だ
事実4: 「なんらかのものは著効でないが望楼だ」ということは真実でないとするとそれは低酸素症だ
事実5: もし仮になにかは勝ち易いとするとそれは浄化する
事実6: もし仮になにかは入り易くないとすれば「それは手荒くないかもしくは野地板だということはないかどちらもである」ということは間違いである
事実7: あの生き癖は似付かわしい
事実8: あの生き癖は低酸素症でない
事実9: あの生き癖は反応し易いということはない
事実10: なにがしかの物が低酸素症であるならばそれは歳入歳出でないかあるいはそれは似付かわしくらないかもしくは両方ともである
事実11: 仮にあの重要拠点は浄化するとすると「あの生き癖は著効でないけど望楼だ」ということは間違いだ
事実12: もしなにかは浄化するとすれば望楼である
事実13: もし仮にとあるものは低酸素症でないとしたらそれは似付かわしい
事実14: もしなにがしかの物は低酸素症でないとすると「歳入歳出でないかもしくは似付かわしくらないかまたは両方ともである」ということは成り立たない

仮説: あの生き癖は歳入歳出でないかそれは似付かわしくらないかあるいは両方ともだ
1. 事実14から、推論1: "もし「あの生き癖は低酸素症でない」ということは成り立つとしたら「それは歳入歳出であるということはないかまたは似付かわしくらないかもしくはどちらもだ」ということは成り立たない"が導かれる
2. 推論1と事実8から、仮説が否定される

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