Charlie is rough. Charlie is smart. Charlie is white. Dave is cold. Dave is green. Dave is rough. Dave is smart. Dave is white. Erin is cold. Fiona is big. Fiona is green. Fiona is white. All red things are cold. White things are smart. Rough, white things are green. All red things are cold. If Dave is rough then Dave is red. Green, red things are cold. If Fiona is rough and Fiona is red then Fiona is cold. If Dave is not smart then Dave is rough.
Dave is smart.