このマテリアルは塗り残す
fact1: とあるものが馴染み難くないとすればあのマテリアルは塗り残すということはない fact2: 「馴染み難くない」物はある
$facts$ = fact1: とあるものが馴染み難くないとすればあのマテリアルは塗り残すということはない fact2: 「馴染み難くない」物はある ; $hypothesis$ = このマテリアルは塗り残す ; $proof$ = 
事実1: とあるものが馴染み難くないとすればあのマテリアルは塗り残すということはない
事実2: 「馴染み難くない」物はある

仮説: このマテリアルは塗り残す