Bob is not rough. Bob is young. Dave is big. Dave is cold. Dave is not quiet. Dave is not young. Gary is big. Gary is nice. Gary is quiet. Gary is red. Harry is not cold. Harry is not nice. Harry is red. Harry is rough. Harry is young. If Dave is young and Dave is not red then Dave is rough.
Dave is not cold.