このラムズイヤーは具備す
fact1: 何らかのものは救い難いとしたら「「それは入り難くないかそれは小賢しくないかあるいは両方である」ということは成り立つ」ということは誤りだ fact2: もしもあの第二帝政が具備すならこのラムズイヤーは具備すらない fact3: もし「あの第二帝政は入り難くないかもしくは奥行きでないかもしくは両方ともだ」ということは成り立たないとするとこのラムズイヤーは具備す fact4: あの第二帝政は奥行きである fact5: 「あの第二帝政は入り難くないかあるいはそれは奥行きでないかまたはどちらもである」ということは嘘だ fact6: 仮に「あの第二帝政は入り難くないかもしくは奥行きであるかあるいは両方ともである」ということは成り立たないとすればこのラムズイヤーは具備す
fact3 & fact5 -> hypothesis;
「この外側膝状体は入り難くないかもしくは小賢しくない」ということは成り立たない
fact7 -> int1: 「この外側膝状体は救い難い」ということは誤りでないとしたら「それは入り難くないかあるいは小賢しくないかまたは両方だ」ということは偽だ;
$facts$ = fact1: 何らかのものは救い難いとしたら「「それは入り難くないかそれは小賢しくないかあるいは両方である」ということは成り立つ」ということは誤りだ fact2: もしもあの第二帝政が具備すならこのラムズイヤーは具備すらない fact3: もし「あの第二帝政は入り難くないかもしくは奥行きでないかもしくは両方ともだ」ということは成り立たないとするとこのラムズイヤーは具備す fact4: あの第二帝政は奥行きである fact5: 「あの第二帝政は入り難くないかあるいはそれは奥行きでないかまたはどちらもである」ということは嘘だ fact6: 仮に「あの第二帝政は入り難くないかもしくは奥行きであるかあるいは両方ともである」ということは成り立たないとすればこのラムズイヤーは具備す ; $hypothesis$ = このラムズイヤーは具備す ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: 何らかのものは救い難いとしたら「「それは入り難くないかそれは小賢しくないかあるいは両方である」ということは成り立つ」ということは誤りだ
事実2: もしもあの第二帝政が具備すならこのラムズイヤーは具備すらない
事実3: もし「あの第二帝政は入り難くないかもしくは奥行きでないかもしくは両方ともだ」ということは成り立たないとするとこのラムズイヤーは具備す
事実4: あの第二帝政は奥行きである
事実5: 「あの第二帝政は入り難くないかあるいはそれは奥行きでないかまたはどちらもである」ということは嘘だ
事実6: 仮に「あの第二帝政は入り難くないかもしくは奥行きであるかあるいは両方ともである」ということは成り立たないとすればこのラムズイヤーは具備す

仮説: このラムズイヤーは具備す
1. 事実3と事実5から、仮説が導かれる

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