「「仮に求まるとしたら「誇示するし臥位だということはない」ということは間違いな」ものはある」ということは確かでない
fact1: 仮に「あのＯ型は誇示するけど臥位でない」ということは真実だとしたら求まらない fact2: 「もしトリップするとすれば「「蹴り続けるが死亡するということはない」ということは成り立つ」ということは嘘である」ものはある fact3: 「「あの仕事帰りは誇示するがしかしやばくない」ということは誤りだ」ということは本当である fact4: もし仮にあのＯ型が誇示するがしかし臥位でないとしたら求まる fact5: 「仮に求まれば誇示するしまた臥位でない」ものはある fact6: 「あのＯ型は誇示するしおまけに臥位だ」ということは確かでない fact7: あのＯ型は臥位でない fact8: あのＯ型が誇示するししかも臥位であるなら求まらない fact9: もしもあのＯ型は求まるとしたら「誇示するしまた臥位である」ということは間違いだ fact10: もしあのＯ型は求まれば「それは誇示する一方で臥位でない」ということは確かだ fact11: 「求まるとすれば「誇示するしまた臥位だ」ということは事実でない」物はある
void -> assump1: 以下のように仮定する。あのＯ型は誇示するが臥位でない; fact1 & assump1 -> int1: あのＯ型は求まらない; void -> assump2: 以下のように仮定する。あのＯ型は求まる; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのＯ型は誇示するけどそれは臥位でない」ということは間違っている; [assump2] & int3 -> int4: もしも「あのＯ型は求まる」ということは事実ならば「それは誇示するけれど臥位でない」ということは正しくない; int4 -> hypothesis;
$facts$ = fact1: 仮に「あのＯ型は誇示するけど臥位でない」ということは真実だとしたら求まらない fact2: 「もしトリップするとすれば「「蹴り続けるが死亡するということはない」ということは成り立つ」ということは嘘である」ものはある fact3: 「「あの仕事帰りは誇示するがしかしやばくない」ということは誤りだ」ということは本当である fact4: もし仮にあのＯ型が誇示するがしかし臥位でないとしたら求まる fact5: 「仮に求まれば誇示するしまた臥位でない」ものはある fact6: 「あのＯ型は誇示するしおまけに臥位だ」ということは確かでない fact7: あのＯ型は臥位でない fact8: あのＯ型が誇示するししかも臥位であるなら求まらない fact9: もしもあのＯ型は求まるとしたら「誇示するしまた臥位である」ということは間違いだ fact10: もしあのＯ型は求まれば「それは誇示する一方で臥位でない」ということは確かだ fact11: 「求まるとすれば「誇示するしまた臥位だ」ということは事実でない」物はある ; $hypothesis$ = 「「仮に求まるとしたら「誇示するし臥位だということはない」ということは間違いな」ものはある」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＯ型は誇示するが臥位でない; fact1 & assump1 -> int1: あのＯ型は求まらない; void -> assump2: 以下のように仮定する。あのＯ型は求まる; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのＯ型は誇示するけどそれは臥位でない」ということは間違っている; [assump2] & int3 -> int4: もしも「あのＯ型は求まる」ということは事実ならば「それは誇示するけれど臥位でない」ということは正しくない; int4 -> hypothesis; __DISPROVED__
事実1: 仮に「あのＯ型は誇示するけど臥位でない」ということは真実だとしたら求まらない
事実2: 「もしトリップするとすれば「「蹴り続けるが死亡するということはない」ということは成り立つ」ということは嘘である」ものはある
事実3: 「「あの仕事帰りは誇示するがしかしやばくない」ということは誤りだ」ということは本当である
事実4: もし仮にあのＯ型が誇示するがしかし臥位でないとしたら求まる
事実5: 「仮に求まれば誇示するしまた臥位でない」ものはある
事実6: 「あのＯ型は誇示するしおまけに臥位だ」ということは確かでない
事実7: あのＯ型は臥位でない
事実8: あのＯ型が誇示するししかも臥位であるなら求まらない
事実9: もしもあのＯ型は求まるとしたら「誇示するしまた臥位である」ということは間違いだ
事実10: もしあのＯ型は求まれば「それは誇示する一方で臥位でない」ということは確かだ
事実11: 「求まるとすれば「誇示するしまた臥位だ」ということは事実でない」物はある

仮説: 「「仮に求まるとしたら「誇示するし臥位だということはない」ということは間違いな」ものはある」ということは確かでない
1. 仮定1: 以下のように仮定する。あのＯ型は誇示するが臥位でない
2. 事実1と仮定1から、推論1: "あのＯ型は求まらない"が導かれる
3. 仮定2: 以下のように仮定する。あのＯ型は求まる
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「あのＯ型は誇示するけどそれは臥位でない」ということは間違っている"が導かれる
6. [仮定2]と推論3から、推論4: "もしも「あのＯ型は求まる」ということは事実ならば「それは誇示するけれど臥位でない」ということは正しくない"が導かれる
7. 推論4から、仮説が否定される

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