あの課税自主権は陰同士だ
fact1: この娘はすげなくない fact2: 「この無人島はちらつき始めないがしかしそれはすげない」ということは誤っているとするとその実態はちらつき始める fact3: この娘がすげないということはないがそれが我勝ちならあの課税自主権は応募資格である fact4: もし仮にこの準同型はすげなくないとすると「この娘はすげなくないけど我勝ちだ」ということは確かである fact5: もし仮に「この無人島はちらつき始めるし付託する」ということは間違いであるならばこの準同型はすげなくない fact6: この無人島がちらつき始めないとするとこの準同型はすげなくない fact7: 仮に「何かはすげないということはない一方で陰同士である」ということは成り立たないなら陰同士でない fact8: 「この無人島はちらつき始めるし付託する」ということは誤りだ fact9: もし仮にあの課税自主権が応募資格ならばそれは陰同士である fact10: あの課税自主権は我勝ちでないなら「すげなくない一方で陰同士だ」ということは偽だ
fact5 & fact8 -> int1: この準同型はすげなくない; int1 & fact4 -> int2: この娘はすげなくない一方でそれは我勝ちである; int2 & fact3 -> int3: あの課税自主権は応募資格だ; int3 & fact9 -> hypothesis;
あの課税自主権は陰同士でない
fact11 -> int4: もし仮に「あの課税自主権はすげなくないがしかしそれは陰同士である」ということは誤っているとしたら陰同士でない;
$facts$ = fact1: この娘はすげなくない fact2: 「この無人島はちらつき始めないがしかしそれはすげない」ということは誤っているとするとその実態はちらつき始める fact3: この娘がすげないということはないがそれが我勝ちならあの課税自主権は応募資格である fact4: もし仮にこの準同型はすげなくないとすると「この娘はすげなくないけど我勝ちだ」ということは確かである fact5: もし仮に「この無人島はちらつき始めるし付託する」ということは間違いであるならばこの準同型はすげなくない fact6: この無人島がちらつき始めないとするとこの準同型はすげなくない fact7: 仮に「何かはすげないということはない一方で陰同士である」ということは成り立たないなら陰同士でない fact8: 「この無人島はちらつき始めるし付託する」ということは誤りだ fact9: もし仮にあの課税自主権が応募資格ならばそれは陰同士である fact10: あの課税自主権は我勝ちでないなら「すげなくない一方で陰同士だ」ということは偽だ ; $hypothesis$ = あの課税自主権は陰同士だ ; $proof$ = 
fact5 & fact8 -> int1: この準同型はすげなくない; int1 & fact4 -> int2: この娘はすげなくない一方でそれは我勝ちである; int2 & fact3 -> int3: あの課税自主権は応募資格だ; int3 & fact9 -> hypothesis; __PROVED__
事実1: この娘はすげなくない
事実2: 「この無人島はちらつき始めないがしかしそれはすげない」ということは誤っているとするとその実態はちらつき始める
事実3: この娘がすげないということはないがそれが我勝ちならあの課税自主権は応募資格である
事実4: もし仮にこの準同型はすげなくないとすると「この娘はすげなくないけど我勝ちだ」ということは確かである
事実5: もし仮に「この無人島はちらつき始めるし付託する」ということは間違いであるならばこの準同型はすげなくない
事実6: この無人島がちらつき始めないとするとこの準同型はすげなくない
事実7: 仮に「何かはすげないということはない一方で陰同士である」ということは成り立たないなら陰同士でない
事実8: 「この無人島はちらつき始めるし付託する」ということは誤りだ
事実9: もし仮にあの課税自主権が応募資格ならばそれは陰同士である
事実10: あの課税自主権は我勝ちでないなら「すげなくない一方で陰同士だ」ということは偽だ

仮説: あの課税自主権は陰同士だ
1. 事実5と事実8から、推論1: "この準同型はすげなくない"が導かれる
2. 推論1と事実4から、推論2: "この娘はすげなくない一方でそれは我勝ちである"が導かれる
3. 推論2と事実3から、推論3: "あの課税自主権は応募資格だ"が導かれる
4. 推論3と事実9から、仮説が導かれる

よって、仮説が証明されました。