「その女郎は遅れ易くない一方で朝目である」ということは成り立たない
fact1: 仮にその女郎は吊り下がるとすると「それは遅れ易いし朝目である」ということは成り立たない fact2: このアファメーションはさ迷い込む fact3: 仮に「その女郎はＣプラスだ」ということは事実であるとしたらそれは吊り下がる fact4: もし仮に何かは興奮し易いとすればそれは遅れ易い fact5: その女郎はＣプラスだ fact6: 仮になんらかのものは吊り下がるなら「それは遅れ易くないけれど朝目である」ということは誤りだ fact7: なにがしかのものは吊り下がるとすれば「「それは遅れ易いしそれに朝目だ」ということは成り立つ」ということは事実でない fact8: 「ある物はＣプラスでないがしかし遅れ易い」ということは成り立たないとしたら遅れ易くない fact9: なんらかのものは遅れ易いとすると「それはＣプラスでないし更にそれは吊り下がる」ということは事実と異なる fact10: 「「その女郎は遅れ易くてかつそれは朝目だ」ということは本当だ」ということは嘘である
fact3 & fact5 -> int1: その女郎は吊り下がる; fact6 -> int2: その女郎は吊り下がるとすれば「遅れ易いということはない朝目である」ということは誤りである; int1 & int2 -> hypothesis;
fact3 & fact5 -> int1: {B}{a}; fact6 -> int2: {B}{a} -> ¬(¬{D}{a} & {C}{a}); int1 & int2 -> hypothesis;
その女郎は遅れ易くないが朝目だ
fact11 -> int3: もしも「「その女郎はＣプラスでないけれど遅れ易い」ということは間違いである」ということは成り立つとするとそれは遅れ易いということはない;
$facts$ = fact1: 仮にその女郎は吊り下がるとすると「それは遅れ易いし朝目である」ということは成り立たない fact2: このアファメーションはさ迷い込む fact3: 仮に「その女郎はＣプラスだ」ということは事実であるとしたらそれは吊り下がる fact4: もし仮に何かは興奮し易いとすればそれは遅れ易い fact5: その女郎はＣプラスだ fact6: 仮になんらかのものは吊り下がるなら「それは遅れ易くないけれど朝目である」ということは誤りだ fact7: なにがしかのものは吊り下がるとすれば「「それは遅れ易いしそれに朝目だ」ということは成り立つ」ということは事実でない fact8: 「ある物はＣプラスでないがしかし遅れ易い」ということは成り立たないとしたら遅れ易くない fact9: なんらかのものは遅れ易いとすると「それはＣプラスでないし更にそれは吊り下がる」ということは事実と異なる fact10: 「「その女郎は遅れ易くてかつそれは朝目だ」ということは本当だ」ということは嘘である ; $hypothesis$ = 「その女郎は遅れ易くない一方で朝目である」ということは成り立たない ; $proof$ = 
fact3 & fact5 -> int1: その女郎は吊り下がる; fact6 -> int2: その女郎は吊り下がるとすれば「遅れ易いということはない朝目である」ということは誤りである; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にその女郎は吊り下がるとすると「それは遅れ易いし朝目である」ということは成り立たない
事実2: このアファメーションはさ迷い込む
事実3: 仮に「その女郎はＣプラスだ」ということは事実であるとしたらそれは吊り下がる
事実4: もし仮に何かは興奮し易いとすればそれは遅れ易い
事実5: その女郎はＣプラスだ
事実6: 仮になんらかのものは吊り下がるなら「それは遅れ易くないけれど朝目である」ということは誤りだ
事実7: なにがしかのものは吊り下がるとすれば「「それは遅れ易いしそれに朝目だ」ということは成り立つ」ということは事実でない
事実8: 「ある物はＣプラスでないがしかし遅れ易い」ということは成り立たないとしたら遅れ易くない
事実9: なんらかのものは遅れ易いとすると「それはＣプラスでないし更にそれは吊り下がる」ということは事実と異なる
事実10: 「「その女郎は遅れ易くてかつそれは朝目だ」ということは本当だ」ということは嘘である

仮説: 「その女郎は遅れ易くない一方で朝目である」ということは成り立たない
1. 事実3と事実5から、推論1: "その女郎は吊り下がる"が導かれる
2. 事実6から、推論2: "その女郎は吊り下がるとすれば「遅れ易いということはない朝目である」ということは誤りである"が導かれる
3. 推論1と推論2から、仮説が導かれる

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