この永遠性は剃る
fact1: 「この永遠性は厚かましくない」ということは成り立つ fact2: もしこの永遠性が厚かましくないならばそれは剃らない
$facts$ = fact1: 「この永遠性は厚かましくない」ということは成り立つ fact2: もしこの永遠性が厚かましくないならばそれは剃らない ; $hypothesis$ = この永遠性は剃る ; $proof$ = 
事実1: 「この永遠性は厚かましくない」ということは成り立つ
事実2: もしこの永遠性が厚かましくないならばそれは剃らない

仮説: この永遠性は剃る