Anne is not cold. Anne is nice. Anne is rough. Dave is not blue. Dave is cold. Dave is nice. Erin is nice. Erin is round. Harry is not blue. Harry is cold. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is not smart. All red, smart things are rough. If something is cold and nice then it is not smart. If Dave is round and Dave is red then Dave is not smart. All nice, red things are rough. If Erin is not blue then Erin is red. All round, blue things are smart.
Dave is not smart.