このゲイブリエル・ホワイトは踊り捲るかあるいは輪廻するかまたはどちらもだ
fact1: 何らかのものは考え合わせらないなら「踊り捲るかまたはそれは輪廻する」ということは成り立たない fact2: もしもあの小牧野遺跡は組織内でない一方で粉っぽいとしたら踊り捲らない fact3: あるものは考え合わせるか接見するかまたは両方ともならば切り出さない fact4: 「あのガリラヤ丸は切り出す」ということは偽でない fact5: もしもあの小牧野遺跡が考え合わせらないならあのガリラヤ丸は考え合わせるかあるいは組織内であるかまたは両方である fact6: もし仮に「あの小牧野遺跡は組織内だということはないけど粉っぽい」ということは成り立たないとしたら「あのガリラヤ丸は接見する」ということは真実である fact7: もしあの小牧野遺跡は踊り捲らないとすれば「このゲイブリエル・ホワイトは踊り捲るかそれは輪廻するか両方である」ということは成り立つ
void -> assump1: 以下のように仮定する。「あの小牧野遺跡は組織内でないがそれは粉っぽい」ということは嘘だ; fact6 & assump1 -> int1: あのガリラヤ丸は接見する; int1 -> int2: あのガリラヤ丸は考え合わせるか接見する; fact3 -> int3: もし仮にあのガリラヤ丸が考え合わせるかそれは接見するかもしくは両方ならばそれは切り出さない; int2 & int3 -> int4: あのガリラヤ丸は切り出すということはない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの小牧野遺跡は組織内でないけれどそれは粉っぽい; int6 & fact2 -> int7: あの小牧野遺跡は踊り捲らない; int7 & fact7 -> hypothesis;
「このゲイブリエル・ホワイトは踊り捲るかそれは輪廻するかもしくは両方ともだ」ということは誤っている
fact8 -> int8: もし「このゲイブリエル・ホワイトは考え合わせらない」ということは事実だとしたら「踊り捲るか輪廻する」ということは間違いだ;
$facts$ = fact1: 何らかのものは考え合わせらないなら「踊り捲るかまたはそれは輪廻する」ということは成り立たない fact2: もしもあの小牧野遺跡は組織内でない一方で粉っぽいとしたら踊り捲らない fact3: あるものは考え合わせるか接見するかまたは両方ともならば切り出さない fact4: 「あのガリラヤ丸は切り出す」ということは偽でない fact5: もしもあの小牧野遺跡が考え合わせらないならあのガリラヤ丸は考え合わせるかあるいは組織内であるかまたは両方である fact6: もし仮に「あの小牧野遺跡は組織内だということはないけど粉っぽい」ということは成り立たないとしたら「あのガリラヤ丸は接見する」ということは真実である fact7: もしあの小牧野遺跡は踊り捲らないとすれば「このゲイブリエル・ホワイトは踊り捲るかそれは輪廻するか両方である」ということは成り立つ ; $hypothesis$ = このゲイブリエル・ホワイトは踊り捲るかあるいは輪廻するかまたはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの小牧野遺跡は組織内でないがそれは粉っぽい」ということは嘘だ; fact6 & assump1 -> int1: あのガリラヤ丸は接見する; int1 -> int2: あのガリラヤ丸は考え合わせるか接見する; fact3 -> int3: もし仮にあのガリラヤ丸が考え合わせるかそれは接見するかもしくは両方ならばそれは切り出さない; int2 & int3 -> int4: あのガリラヤ丸は切り出すということはない; int4 & fact4 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの小牧野遺跡は組織内でないけれどそれは粉っぽい; int6 & fact2 -> int7: あの小牧野遺跡は踊り捲らない; int7 & fact7 -> hypothesis; __PROVED__
事実1: 何らかのものは考え合わせらないなら「踊り捲るかまたはそれは輪廻する」ということは成り立たない
事実2: もしもあの小牧野遺跡は組織内でない一方で粉っぽいとしたら踊り捲らない
事実3: あるものは考え合わせるか接見するかまたは両方ともならば切り出さない
事実4: 「あのガリラヤ丸は切り出す」ということは偽でない
事実5: もしもあの小牧野遺跡が考え合わせらないならあのガリラヤ丸は考え合わせるかあるいは組織内であるかまたは両方である
事実6: もし仮に「あの小牧野遺跡は組織内だということはないけど粉っぽい」ということは成り立たないとしたら「あのガリラヤ丸は接見する」ということは真実である
事実7: もしあの小牧野遺跡は踊り捲らないとすれば「このゲイブリエル・ホワイトは踊り捲るかそれは輪廻するか両方である」ということは成り立つ

仮説: このゲイブリエル・ホワイトは踊り捲るかあるいは輪廻するかまたはどちらもだ
1. 仮定1: 以下のように仮定する。「あの小牧野遺跡は組織内でないがそれは粉っぽい」ということは嘘だ
2. 事実6と仮定1から、推論1: "あのガリラヤ丸は接見する"が導かれる
3. 推論1から、推論2: "あのガリラヤ丸は考え合わせるか接見する"が導かれる
4. 事実3から、推論3: "もし仮にあのガリラヤ丸が考え合わせるかそれは接見するかもしくは両方ならばそれは切り出さない"が導かれる
5. 推論2と推論3から、推論4: "あのガリラヤ丸は切り出すということはない"が導かれる
6. 推論4と事実4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの小牧野遺跡は組織内でないけれどそれは粉っぽい"が導かれる
8. 推論6と事実2から、推論7: "あの小牧野遺跡は踊り捲らない"が導かれる
9. 推論7と事実7から、仮説が導かれる

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