その定住化は見易くないかあるいはそれは皇女でない
fact1: 「その売り掛けはわりないということはないかあるいは文字毎でないかもしくはどちらもである」ということは誤りだ fact2: その売り掛けはオボである fact3: 「その定住化は構え易くないかもしくは公売でないかまたは両方である」ということは嘘だ fact4: もしもその売り掛けが皇女であるならばあの定住化は見易い fact5: その定住化は見易い fact6: その売り掛けは見易くてそれは遣る瀬無い fact7: 仮にその売り掛けが塩辛くないとすればあの定住化は及ぶ fact8: 「その売り掛けは見易くないかまたはオボでないかまたはどちらもである」ということは間違いである fact9: 仮にその売り掛けは皇女だとしたら「その定住化は見易くないかまたはそれは皇女でないかもしくは両方ともである」ということは偽である fact10: ビヘイビアインスペクタは皇女でないけれどオボだ fact11: その売り掛けがオボだしそれは皇女である fact12: 「その売り掛けはオボであるということはないかまたは見易くないかもしくは両方ともである」ということは間違いだ fact13: 「仮になんらかの物は及ぶとすると「それはビヘイビアインスペクタでなくてハーバーハイウェイである」ということは成り立つということはない」ということは成り立つ fact14: この蓄尿は皇女であるしその上ちぎれ易い fact15: もしその売り掛けは出入りし易くない一方で滞り易いならば塩辛いということはない fact16: 「「その定住化は見易くないかもしくはオボでないかあるいは両方だ」ということは真実でない」ということは正しい fact17: 「なにがしかのものはビヘイビアインスペクタであるということはないがそれはハーバーハイウェイだ」ということは成り立たないとすればそれはビヘイビアインスペクタである
fact11 -> int1: その売り掛けは皇女である; int1 & fact9 -> hypothesis;
その定住化は見易くないかあるいはそれは皇女でないかもしくは両方ともである
fact19 -> int2: もしその定住化はビヘイビアインスペクタであるとするとそれは皇女でないけれどオボである; fact21 -> int3: もし仮に「その定住化はビヘイビアインスペクタでない一方でハーバーハイウェイだ」ということは成り立たないとしたら「ビヘイビアインスペクタだ」ということは本当だ; fact22 -> int4: もしもその定住化は及ぶとすると「ビヘイビアインスペクタでないしさらにハーバーハイウェイだ」ということは成り立たない;
$facts$ = fact1: 「その売り掛けはわりないということはないかあるいは文字毎でないかもしくはどちらもである」ということは誤りだ fact2: その売り掛けはオボである fact3: 「その定住化は構え易くないかもしくは公売でないかまたは両方である」ということは嘘だ fact4: もしもその売り掛けが皇女であるならばあの定住化は見易い fact5: その定住化は見易い fact6: その売り掛けは見易くてそれは遣る瀬無い fact7: 仮にその売り掛けが塩辛くないとすればあの定住化は及ぶ fact8: 「その売り掛けは見易くないかまたはオボでないかまたはどちらもである」ということは間違いである fact9: 仮にその売り掛けは皇女だとしたら「その定住化は見易くないかまたはそれは皇女でないかもしくは両方ともである」ということは偽である fact10: ビヘイビアインスペクタは皇女でないけれどオボだ fact11: その売り掛けがオボだしそれは皇女である fact12: 「その売り掛けはオボであるということはないかまたは見易くないかもしくは両方ともである」ということは間違いだ fact13: 「仮になんらかの物は及ぶとすると「それはビヘイビアインスペクタでなくてハーバーハイウェイである」ということは成り立つということはない」ということは成り立つ fact14: この蓄尿は皇女であるしその上ちぎれ易い fact15: もしその売り掛けは出入りし易くない一方で滞り易いならば塩辛いということはない fact16: 「「その定住化は見易くないかもしくはオボでないかあるいは両方だ」ということは真実でない」ということは正しい fact17: 「なにがしかのものはビヘイビアインスペクタであるということはないがそれはハーバーハイウェイだ」ということは成り立たないとすればそれはビヘイビアインスペクタである ; $hypothesis$ = その定住化は見易くないかあるいはそれは皇女でない ; $proof$ = 
fact11 -> int1: その売り掛けは皇女である; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: 「その売り掛けはわりないということはないかあるいは文字毎でないかもしくはどちらもである」ということは誤りだ
事実2: その売り掛けはオボである
事実3: 「その定住化は構え易くないかもしくは公売でないかまたは両方である」ということは嘘だ
事実4: もしもその売り掛けが皇女であるならばあの定住化は見易い
事実5: その定住化は見易い
事実6: その売り掛けは見易くてそれは遣る瀬無い
事実7: 仮にその売り掛けが塩辛くないとすればあの定住化は及ぶ
事実8: 「その売り掛けは見易くないかまたはオボでないかまたはどちらもである」ということは間違いである
事実9: 仮にその売り掛けは皇女だとしたら「その定住化は見易くないかまたはそれは皇女でないかもしくは両方ともである」ということは偽である
事実10: ビヘイビアインスペクタは皇女でないけれどオボだ
事実11: その売り掛けがオボだしそれは皇女である
事実12: 「その売り掛けはオボであるということはないかまたは見易くないかもしくは両方ともである」ということは間違いだ
事実13: 「仮になんらかの物は及ぶとすると「それはビヘイビアインスペクタでなくてハーバーハイウェイである」ということは成り立つということはない」ということは成り立つ
事実14: この蓄尿は皇女であるしその上ちぎれ易い
事実15: もしその売り掛けは出入りし易くない一方で滞り易いならば塩辛いということはない
事実16: 「「その定住化は見易くないかもしくはオボでないかあるいは両方だ」ということは真実でない」ということは正しい
事実17: 「なにがしかのものはビヘイビアインスペクタであるということはないがそれはハーバーハイウェイだ」ということは成り立たないとすればそれはビヘイビアインスペクタである

仮説: その定住化は見易くないかあるいはそれは皇女でない
1. 事実11から、推論1: "その売り掛けは皇女である"が導かれる
2. 推論1と事実9から、仮説が否定される

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