この下前短冊は確認し合わない
fact1: もしこの下前短冊が熱いということはないとするとそれは確認し合う fact2: この下前短冊は熱くない
$facts$ = fact1: もしこの下前短冊が熱いということはないとするとそれは確認し合う fact2: この下前短冊は熱くない ; $hypothesis$ = この下前短冊は確認し合わない ; $proof$ = 
事実1: もしこの下前短冊が熱いということはないとするとそれは確認し合う
事実2: この下前短冊は熱くない

仮説: この下前短冊は確認し合わない