そのタイツは移り難い
fact1: 「実現し易くない」ものはある fact2: 「実現し易いということはない」ものがあればそのタイツは移り難いということはない
$facts$ = fact1: 「実現し易くない」ものはある fact2: 「実現し易いということはない」ものがあればそのタイツは移り難いということはない ; $hypothesis$ = そのタイツは移り難い ; $proof$ = 
事実1: 「実現し易くない」ものはある
事実2: 「実現し易いということはない」ものがあればそのタイツは移り難いということはない

仮説: そのタイツは移り難い