Bob is big. Bob is cold. Bob is nice. Bob is rough. Dave is big. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is rough. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Harry is young. If something is red and cold then it is big. If Dave is nice and Dave is red then Dave is young. Red things are furry. All rough, young things are nice. Red, young things are big. If Bob is rough then Bob is nice.
Dave is not cold.