Bob is not big. Bob is red. Dave is cold. Dave is rough. Erin is red. Harry is furry. Harry is young. If Dave is smart and Dave is not furry then Dave is cold. Red people are not cold. If Harry is not smart then Harry is rough. Smart, big people are young. If Erin is not smart then Erin is big. If someone is young and not smart then they are rough. If Bob is cold and Bob is not red then Bob is furry. All smart people are rough.
Dave is not rough.