この半裸体は降車する
fact1: もし仮にこの半裸体が孤立チューブでないとするとあの水仙は比較し難くないがしかし配車である fact2: 「あの水仙は配車だ」ということは確かである fact3: 「この半裸体は高級車でない」ということは成り立たない fact4: この半裸体は図書選定でない fact5: あの水仙は高級車でないけれど図書選定である fact6: もしもこの半裸体が孤立チューブでないならばあの水仙は配車である fact7: もしあの水仙が高級車でないけれど図書選定だとすればそれは比較し難い fact8: もしもこの半裸体は孤立チューブであるとすれば「それは降車する」ということは真実だ fact9: もしあの水仙は孤立チューブでしかも降車すれば「この半裸体は降車しない」ということは成り立つ fact10: その本場は男っぽいかそれは御し易い fact11: もしも「あの水仙は孤立チューブでないかまたはそれは比較し難いということはない」ということは間違いだとしたらこの半裸体は比較し難くない
void -> assump1: 以下のように仮定する。この半裸体は孤立チューブでない; fact1 & assump1 -> int1: あの水仙は比較し難くない一方で配車だ; int1 -> int2: あの水仙は比較し難くない; fact7 & fact5 -> int3: あの水仙は比較し難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この半裸体は孤立チューブである」ということは嘘でない; int5 & fact8 -> hypothesis;
「この半裸体は降車する」ということは嘘だ
$facts$ = fact1: もし仮にこの半裸体が孤立チューブでないとするとあの水仙は比較し難くないがしかし配車である fact2: 「あの水仙は配車だ」ということは確かである fact3: 「この半裸体は高級車でない」ということは成り立たない fact4: この半裸体は図書選定でない fact5: あの水仙は高級車でないけれど図書選定である fact6: もしもこの半裸体が孤立チューブでないならばあの水仙は配車である fact7: もしあの水仙が高級車でないけれど図書選定だとすればそれは比較し難い fact8: もしもこの半裸体は孤立チューブであるとすれば「それは降車する」ということは真実だ fact9: もしあの水仙は孤立チューブでしかも降車すれば「この半裸体は降車しない」ということは成り立つ fact10: その本場は男っぽいかそれは御し易い fact11: もしも「あの水仙は孤立チューブでないかまたはそれは比較し難いということはない」ということは間違いだとしたらこの半裸体は比較し難くない ; $hypothesis$ = この半裸体は降車する ; $proof$ = 
void -> assump1: 以下のように仮定する。この半裸体は孤立チューブでない; fact1 & assump1 -> int1: あの水仙は比較し難くない一方で配車だ; int1 -> int2: あの水仙は比較し難くない; fact7 & fact5 -> int3: あの水仙は比較し難い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この半裸体は孤立チューブである」ということは嘘でない; int5 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にこの半裸体が孤立チューブでないとするとあの水仙は比較し難くないがしかし配車である
事実2: 「あの水仙は配車だ」ということは確かである
事実3: 「この半裸体は高級車でない」ということは成り立たない
事実4: この半裸体は図書選定でない
事実5: あの水仙は高級車でないけれど図書選定である
事実6: もしもこの半裸体が孤立チューブでないならばあの水仙は配車である
事実7: もしあの水仙が高級車でないけれど図書選定だとすればそれは比較し難い
事実8: もしもこの半裸体は孤立チューブであるとすれば「それは降車する」ということは真実だ
事実9: もしあの水仙は孤立チューブでしかも降車すれば「この半裸体は降車しない」ということは成り立つ
事実10: その本場は男っぽいかそれは御し易い
事実11: もしも「あの水仙は孤立チューブでないかまたはそれは比較し難いということはない」ということは間違いだとしたらこの半裸体は比較し難くない

仮説: この半裸体は降車する
1. 仮定1: 以下のように仮定する。この半裸体は孤立チューブでない
2. 事実1と仮定1から、推論1: "あの水仙は比較し難くない一方で配車だ"が導かれる
3. 推論1から、推論2: "あの水仙は比較し難くない"が導かれる
4. 事実7と事実5から、推論3: "あの水仙は比較し難い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この半裸体は孤立チューブである」ということは嘘でない"が導かれる
7. 推論5と事実8から、仮説が導かれる

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