Dave is kind. Dave is nice. Dave is rough. Dave is not smart. Dave is white. Fiona is not cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. If Fiona is smart and Fiona is not white then Fiona is rough. If Dave is white and Dave is red then Dave is smart. If Dave is cold then Dave is smart. If something is nice then it is kind. If something is kind and not rough then it is red. If something is white and not red then it is kind.
Dave is nice.