Dave is big. Dave is cold. Dave is kind. Erin is big. Erin is green. Erin is rough. Harry is big. Harry is kind. Harry is red. Harry is rough. If something is big then it is rough. If something is kind and not cold then it is big. Cold, rough things are red. Red things are green. If something is kind then it is big. If something is smart and not cold then it is kind. If something is smart and rough then it is not cold. If something is not red and not rough then it is kind.
Dave is not smart.