あの理論的側面は玄米御飯である
fact1: 何かは同一視しないとしたら「それは理屈っぽくないし捗る」ということは間違いだ fact2: もし「あの理論的側面は理屈っぽいということはないけど捗る」ということは間違っているとすれば玄米御飯である fact3: とあるものは理屈っぽくないならば「構築等でないしそれは受け入れられ易い」ということは間違いである fact4: 仮に「「この島側は発砲するかもしくは侘しいかもしくはどちらもである」ということは成り立つということはない」ということは本当であるとしたらあの理論的側面は同一視しない fact5: 発砲するかあるいは侘しいか両方ともであるという物はない
fact5 -> int1: 「この島側は発砲するかもしくはそれは侘しい」ということは間違いだ; int1 & fact4 -> int2: あの理論的側面は同一視するということはない; fact1 -> int3: もし「あの理論的側面は同一視しない」ということは成り立つとしたら「理屈っぽくないけれど捗る」ということは成り立たない; int2 & int3 -> int4: 「あの理論的側面は理屈っぽくないけど捗る」ということは成り立たない; int4 & fact2 -> hypothesis;
あの理論的側面は理屈っぽくないとしたら「構築等であるということはないししかもそれは受け入れられ易い」ということは偽である
fact6 -> hypothesis;
$facts$ = fact1: 何かは同一視しないとしたら「それは理屈っぽくないし捗る」ということは間違いだ fact2: もし「あの理論的側面は理屈っぽいということはないけど捗る」ということは間違っているとすれば玄米御飯である fact3: とあるものは理屈っぽくないならば「構築等でないしそれは受け入れられ易い」ということは間違いである fact4: 仮に「「この島側は発砲するかもしくは侘しいかもしくはどちらもである」ということは成り立つということはない」ということは本当であるとしたらあの理論的側面は同一視しない fact5: 発砲するかあるいは侘しいか両方ともであるという物はない ; $hypothesis$ = あの理論的側面は玄米御飯である ; $proof$ = 
fact5 -> int1: 「この島側は発砲するかもしくはそれは侘しい」ということは間違いだ; int1 & fact4 -> int2: あの理論的側面は同一視するということはない; fact1 -> int3: もし「あの理論的側面は同一視しない」ということは成り立つとしたら「理屈っぽくないけれど捗る」ということは成り立たない; int2 & int3 -> int4: 「あの理論的側面は理屈っぽくないけど捗る」ということは成り立たない; int4 & fact2 -> hypothesis; __PROVED__
事実1: 何かは同一視しないとしたら「それは理屈っぽくないし捗る」ということは間違いだ
事実2: もし「あの理論的側面は理屈っぽいということはないけど捗る」ということは間違っているとすれば玄米御飯である
事実3: とあるものは理屈っぽくないならば「構築等でないしそれは受け入れられ易い」ということは間違いである
事実4: 仮に「「この島側は発砲するかもしくは侘しいかもしくはどちらもである」ということは成り立つということはない」ということは本当であるとしたらあの理論的側面は同一視しない
事実5: 発砲するかあるいは侘しいか両方ともであるという物はない

仮説: あの理論的側面は玄米御飯である
1. 事実5から、推論1: "「この島側は発砲するかもしくはそれは侘しい」ということは間違いだ"が導かれる
2. 推論1と事実4から、推論2: "あの理論的側面は同一視するということはない"が導かれる
3. 事実1から、推論3: "もし「あの理論的側面は同一視しない」ということは成り立つとしたら「理屈っぽくないけれど捗る」ということは成り立たない"が導かれる
4. 推論2と推論3から、推論4: "「あの理論的側面は理屈っぽくないけど捗る」ということは成り立たない"が導かれる
5. 推論4と事実2から、仮説が導かれる

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