「もし理解し難くないならば再認識しない」物はある
fact1: もしもこのエステは理解し難くないとすると再認識しない
$facts$ = fact1: もしもこのエステは理解し難くないとすると再認識しない ; $hypothesis$ = 「もし理解し難くないならば再認識しない」物はある ; $proof$ = 
事実1: もしもこのエステは理解し難くないとすると再認識しない

仮説: 「もし理解し難くないならば再認識しない」物はある