「この背景レイヤーは一括弁済だが冠するということはない」ということは成り立たない
fact1: 仮にこの背景レイヤーが改造しないならそれは一括弁済である一方で冠しない fact2: この背景レイヤーは改造するということはない
$facts$ = fact1: 仮にこの背景レイヤーが改造しないならそれは一括弁済である一方で冠しない fact2: この背景レイヤーは改造するということはない ; $hypothesis$ = 「この背景レイヤーは一括弁済だが冠するということはない」ということは成り立たない ; $proof$ = 
事実1: 仮にこの背景レイヤーが改造しないならそれは一括弁済である一方で冠しない
事実2: この背景レイヤーは改造するということはない

仮説: 「この背景レイヤーは一括弁済だが冠するということはない」ということは成り立たない