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