「その生活等は続き易くなくて加えて進呈するということはない」ということは成り立たない
fact1: 「もし仮にその生活等は凛々しいとすると「その生活等は続き易いということはなくて進呈しない」ということは誤っている」ということは事実と異ならない fact2: もし仮にその生活等は荒々しいとすれば「深しということはないしさらに好まし」ということは成り立たない fact3: あのマントルは凛々しい fact4: その生活等は凛々しい fact5: その生活等は寄せ合うなら「それは十一参照でおまけにそれは与え難くない」ということは間違っている fact6: 「あのマントルは素人っぽくないけれど凛々しい」ということは成り立つということはない
fact1 & fact4 -> hypothesis;
$facts$ = fact1: 「もし仮にその生活等は凛々しいとすると「その生活等は続き易いということはなくて進呈しない」ということは誤っている」ということは事実と異ならない fact2: もし仮にその生活等は荒々しいとすれば「深しということはないしさらに好まし」ということは成り立たない fact3: あのマントルは凛々しい fact4: その生活等は凛々しい fact5: その生活等は寄せ合うなら「それは十一参照でおまけにそれは与え難くない」ということは間違っている fact6: 「あのマントルは素人っぽくないけれど凛々しい」ということは成り立つということはない ; $hypothesis$ = 「その生活等は続き易くなくて加えて進呈するということはない」ということは成り立たない ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: 「もし仮にその生活等は凛々しいとすると「その生活等は続き易いということはなくて進呈しない」ということは誤っている」ということは事実と異ならない
事実2: もし仮にその生活等は荒々しいとすれば「深しということはないしさらに好まし」ということは成り立たない
事実3: あのマントルは凛々しい
事実4: その生活等は凛々しい
事実5: その生活等は寄せ合うなら「それは十一参照でおまけにそれは与え難くない」ということは間違っている
事実6: 「あのマントルは素人っぽくないけれど凛々しい」ということは成り立つということはない

仮説: 「その生活等は続き易くなくて加えて進呈するということはない」ということは成り立たない
1. 事実1と事実4から、仮説が導かれる

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