Dave is cold. Dave is kind. Dave is smart. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Fiona is white. If something is green then it is kind. All cold things are big. All young, cold things are kind. All cold things are kind. Smart, big things are white. Kind, white things are green. If something is big and young then it is kind. If Fiona is cold then Fiona is white.
Dave is not white.