この婆は庭園論であるかまたはそれは御書きに成る
fact1: もし仮になんらかのものは顔負けでないとすると「庭園論であるかそれは御書きに成るかもしくは両方ともだ」ということは成り立たない fact2: この戦死傷者は御書きに成る fact3: もしこの俯き加減は顔負けだとすれば「この婆は御書きに成らないしかつ庭園論でない」ということは事実でない fact4: この婆は家長だ fact5: この婆は御書きに成るかもしくは許容出来るかあるいは両方ともである fact6: この婆は御書きに成る
fact6 -> hypothesis;
fact6 -> hypothesis;
「この婆は庭園論であるかあるいは御書きに成る」ということは誤っている
fact7 -> int1: もし仮にこの婆は顔負けだということはないとすれば「庭園論であるか御書きに成る」ということは誤りである;
$facts$ = fact1: もし仮になんらかのものは顔負けでないとすると「庭園論であるかそれは御書きに成るかもしくは両方ともだ」ということは成り立たない fact2: この戦死傷者は御書きに成る fact3: もしこの俯き加減は顔負けだとすれば「この婆は御書きに成らないしかつ庭園論でない」ということは事実でない fact4: この婆は家長だ fact5: この婆は御書きに成るかもしくは許容出来るかあるいは両方ともである fact6: この婆は御書きに成る ; $hypothesis$ = この婆は庭園論であるかまたはそれは御書きに成る ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものは顔負けでないとすると「庭園論であるかそれは御書きに成るかもしくは両方ともだ」ということは成り立たない
事実2: この戦死傷者は御書きに成る
事実3: もしこの俯き加減は顔負けだとすれば「この婆は御書きに成らないしかつ庭園論でない」ということは事実でない
事実4: この婆は家長だ
事実5: この婆は御書きに成るかもしくは許容出来るかあるいは両方ともである
事実6: この婆は御書きに成る

仮説: この婆は庭園論であるかまたはそれは御書きに成る
1. 事実6から、仮説が導かれる

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