「もしも恥じ入らないとすると娘らしいし更に外し易い」ものはある
fact1: 「もし恥じ入らないとすると娘らしい」ものはある fact2: もしも何らかのものが恥じ入らないとするとそれは娘らしいしさらにそれは外し易い
fact2 -> int1: もしその増減高は恥じ入らないならば「それは娘らしいしまたそれは外し易い」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: 「もし恥じ入らないとすると娘らしい」ものはある fact2: もしも何らかのものが恥じ入らないとするとそれは娘らしいしさらにそれは外し易い ; $hypothesis$ = 「もしも恥じ入らないとすると娘らしいし更に外し易い」ものはある ; $proof$ = 
fact2 -> int1: もしその増減高は恥じ入らないならば「それは娘らしいしまたそれは外し易い」ということは事実だ; int1 -> hypothesis; __PROVED__
事実1: 「もし恥じ入らないとすると娘らしい」ものはある
事実2: もしも何らかのものが恥じ入らないとするとそれは娘らしいしさらにそれは外し易い

仮説: 「もしも恥じ入らないとすると娘らしいし更に外し易い」ものはある
1. 事実2から、推論1: "もしその増減高は恥じ入らないならば「それは娘らしいしまたそれは外し易い」ということは事実だ"が導かれる
2. 推論1から、仮説が導かれる

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