「その御夏は発憤しないけど来易い」ということは成り立たない
fact1: その御夏は賢くない fact2: もしもその御夏が賢くないとすれば発憤しないし更にそれは来易い
$facts$ = fact1: その御夏は賢くない fact2: もしもその御夏が賢くないとすれば発憤しないし更にそれは来易い ; $hypothesis$ = 「その御夏は発憤しないけど来易い」ということは成り立たない ; $proof$ = 
事実1: その御夏は賢くない
事実2: もしもその御夏が賢くないとすれば発憤しないし更にそれは来易い

仮説: 「その御夏は発憤しないけど来易い」ということは成り立たない