この内包は雪深くない
fact1: もしもこのスケルツォが肉付けするとするとこの内包は雪深い fact2: このスケルツォは肉付けする
$facts$ = fact1: もしもこのスケルツォが肉付けするとするとこの内包は雪深い fact2: このスケルツォは肉付けする ; $hypothesis$ = この内包は雪深くない ; $proof$ = 
事実1: もしもこのスケルツォが肉付けするとするとこの内包は雪深い
事実2: このスケルツォは肉付けする

仮説: この内包は雪深くない