Anne is red. Dave is rough. Fiona is round. Harry is nice. Big things are smart. Rough things are cold. All nice things are red. All red things are smart. If something is red and nice then it is big. If Dave is big and Dave is red then Dave is smart. If something is red then it is rough. All round things are big.
Dave is not smart.