あの等質性は広し
fact1: あの話し方は供用だ fact2: あの話し方は弛み無くない fact3: もしもあの話し方が弛み無くないとするとあの等質性は思ししかつ広し fact4: もしも「とあるものは広しないけど程良い」ということは間違っているならそれは広し fact5: あの等質性は思し fact6: もしある物は弛み無いということはないとすれば「それは広しということはなくてまたそれは程良い」ということは成り立たない fact7: その日本人形は喜べる fact8: もしあの話し方が弛み無くないならあの等質性は思し
fact3 & fact2 -> int1: あの等質性は思ししその上広し; int1 -> hypothesis;
あの等質性は広しということはない
fact9 -> int2: 「喜べる」物はある;
$facts$ = fact1: あの話し方は供用だ fact2: あの話し方は弛み無くない fact3: もしもあの話し方が弛み無くないとするとあの等質性は思ししかつ広し fact4: もしも「とあるものは広しないけど程良い」ということは間違っているならそれは広し fact5: あの等質性は思し fact6: もしある物は弛み無いということはないとすれば「それは広しということはなくてまたそれは程良い」ということは成り立たない fact7: その日本人形は喜べる fact8: もしあの話し方が弛み無くないならあの等質性は思し ; $hypothesis$ = あの等質性は広し ; $proof$ = 
fact3 & fact2 -> int1: あの等質性は思ししその上広し; int1 -> hypothesis; __PROVED__
事実1: あの話し方は供用だ
事実2: あの話し方は弛み無くない
事実3: もしもあの話し方が弛み無くないとするとあの等質性は思ししかつ広し
事実4: もしも「とあるものは広しないけど程良い」ということは間違っているならそれは広し
事実5: あの等質性は思し
事実6: もしある物は弛み無いということはないとすれば「それは広しということはなくてまたそれは程良い」ということは成り立たない
事実7: その日本人形は喜べる
事実8: もしあの話し方が弛み無くないならあの等質性は思し

仮説: あの等質性は広し
1. 事実3と事実2から、推論1: "あの等質性は思ししその上広し"が導かれる
2. 推論1から、仮説が導かれる

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