この晩年は払い出さない
fact1: もしもこの晩年が慈愛深いならばそれは払い出す fact2: この晩年は慈愛深い
$facts$ = fact1: もしもこの晩年が慈愛深いならばそれは払い出す fact2: この晩年は慈愛深い ; $hypothesis$ = この晩年は払い出さない ; $proof$ = 
事実1: もしもこの晩年が慈愛深いならばそれは払い出す
事実2: この晩年は慈愛深い

仮説: この晩年は払い出さない