「「話し易いが開設年だということはない」ということは事実と異なるなら学説上でない」物はある
fact1: 仮に「このスト禁止は話し易いが開設年でない」ということは正しいということはないなら学説上でない fact2: 「もしも「話し易いしその上開設年だ」ということは成り立たないとしたら学説上でない」物はある fact3: もしこのスト禁止が話し易いけどそれが開設年だということはないとすれば学説上であるということはない fact4: 「もし「教育史編纂会であるし傾き易くない」ということは成り立たないならば採録するということはない」物はある fact5: もしもこのスト禁止は話し易くないとするとそれは学説上でない fact6: もし「このスト禁止は話し易いけど開設年でない」ということは嘘ならば「学説上である」ということは成り立つ fact7: 「「話し易い一方で開設年でない」ということは誤っているなら学説上である」ものはある fact8: 「もし話し易くないなら学説上でない」物はある fact9: 「なんらかのものは開設年であるけど結び付き難くない」ということは成り立つということはないとするとそれは敷き込むということはない fact10: 「もしも話し易いけれど開設年でないならば学説上であるということはない」物はある fact11: 「仮に開設年であるとすれば学説上でない」ものはある fact12: 仮に「このスト禁止が話し易いしその上それは開設年である」ということは成り立たないとすると学説上でない
fact1 -> hypothesis;
もし「この器は開設年であるがしかし結び付き難くない」ということは事実と異なるとすれば敷き込まない
fact13 -> hypothesis;
$facts$ = fact1: 仮に「このスト禁止は話し易いが開設年でない」ということは正しいということはないなら学説上でない fact2: 「もしも「話し易いしその上開設年だ」ということは成り立たないとしたら学説上でない」物はある fact3: もしこのスト禁止が話し易いけどそれが開設年だということはないとすれば学説上であるということはない fact4: 「もし「教育史編纂会であるし傾き易くない」ということは成り立たないならば採録するということはない」物はある fact5: もしもこのスト禁止は話し易くないとするとそれは学説上でない fact6: もし「このスト禁止は話し易いけど開設年でない」ということは嘘ならば「学説上である」ということは成り立つ fact7: 「「話し易い一方で開設年でない」ということは誤っているなら学説上である」ものはある fact8: 「もし話し易くないなら学説上でない」物はある fact9: 「なんらかのものは開設年であるけど結び付き難くない」ということは成り立つということはないとするとそれは敷き込むということはない fact10: 「もしも話し易いけれど開設年でないならば学説上であるということはない」物はある fact11: 「仮に開設年であるとすれば学説上でない」ものはある fact12: 仮に「このスト禁止が話し易いしその上それは開設年である」ということは成り立たないとすると学説上でない ; $hypothesis$ = 「「話し易いが開設年だということはない」ということは事実と異なるなら学説上でない」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「このスト禁止は話し易いが開設年でない」ということは正しいということはないなら学説上でない
事実2: 「もしも「話し易いしその上開設年だ」ということは成り立たないとしたら学説上でない」物はある
事実3: もしこのスト禁止が話し易いけどそれが開設年だということはないとすれば学説上であるということはない
事実4: 「もし「教育史編纂会であるし傾き易くない」ということは成り立たないならば採録するということはない」物はある
事実5: もしもこのスト禁止は話し易くないとするとそれは学説上でない
事実6: もし「このスト禁止は話し易いけど開設年でない」ということは嘘ならば「学説上である」ということは成り立つ
事実7: 「「話し易い一方で開設年でない」ということは誤っているなら学説上である」ものはある
事実8: 「もし話し易くないなら学説上でない」物はある
事実9: 「なんらかのものは開設年であるけど結び付き難くない」ということは成り立つということはないとするとそれは敷き込むということはない
事実10: 「もしも話し易いけれど開設年でないならば学説上であるということはない」物はある
事実11: 「仮に開設年であるとすれば学説上でない」ものはある
事実12: 仮に「このスト禁止が話し易いしその上それは開設年である」ということは成り立たないとすると学説上でない

仮説: 「「話し易いが開設年だということはない」ということは事実と異なるなら学説上でない」物はある
1. 事実1から、仮説が導かれる

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