「仮に「高校卒業後であるということはない」ということは確かだとすると「御生まれでないし心安い」ということは誤りである」ものはある
fact1: 「もし仮に高校卒業後であるとすれば「御生まれでないがしかし心安い」ということは成り立たない」ものはある fact2: 「もし「尤もらしくない」ということは事実だとすると「成り難いということはないしその上三分泌装置である」ということは偽である」ものはある fact3: 「高校卒業後でないとすると御生まれであるということはなくてかつ心安い」物はある fact4: 「高校卒業後でないとすると「御生まれであるし心安い」ということは嘘である」ものはある fact5: もしあのアイリッシュは高校卒業後でないならば「御生まれでなくておまけに心安い」ということは誤りだ fact6: あのアイリッシュは高校卒業後でないとすれば「それは御生まれであるし心安い」ということは誤りである
fact5 -> hypothesis;
fact5 -> hypothesis;
$facts$ = fact1: 「もし仮に高校卒業後であるとすれば「御生まれでないがしかし心安い」ということは成り立たない」ものはある fact2: 「もし「尤もらしくない」ということは事実だとすると「成り難いということはないしその上三分泌装置である」ということは偽である」ものはある fact3: 「高校卒業後でないとすると御生まれであるということはなくてかつ心安い」物はある fact4: 「高校卒業後でないとすると「御生まれであるし心安い」ということは嘘である」ものはある fact5: もしあのアイリッシュは高校卒業後でないならば「御生まれでなくておまけに心安い」ということは誤りだ fact6: あのアイリッシュは高校卒業後でないとすれば「それは御生まれであるし心安い」ということは誤りである ; $hypothesis$ = 「仮に「高校卒業後であるということはない」ということは確かだとすると「御生まれでないし心安い」ということは誤りである」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし仮に高校卒業後であるとすれば「御生まれでないがしかし心安い」ということは成り立たない」ものはある
事実2: 「もし「尤もらしくない」ということは事実だとすると「成り難いということはないしその上三分泌装置である」ということは偽である」ものはある
事実3: 「高校卒業後でないとすると御生まれであるということはなくてかつ心安い」物はある
事実4: 「高校卒業後でないとすると「御生まれであるし心安い」ということは嘘である」ものはある
事実5: もしあのアイリッシュは高校卒業後でないならば「御生まれでなくておまけに心安い」ということは誤りだ
事実6: あのアイリッシュは高校卒業後でないとすれば「それは御生まれであるし心安い」ということは誤りである

仮説: 「仮に「高校卒業後であるということはない」ということは確かだとすると「御生まれでないし心安い」ということは誤りである」ものはある
1. 事実5から、仮説が導かれる

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