Dave is smart. Erin is kind. Fiona is white. If something is white then it is not rough. Kind things are not round. All smart, round things are kind. If Dave is nice then Dave is white. White things are smart. If Erin is nice and Erin is white then Erin is not round. If something is red then it is not kind. If something is white and not smart then it is red.
Dave is not smart.