Anne is cold. Anne is red. Anne is rough. Bob is blue. Dave is red. Dave is rough. Dave is round. Dave is young. Harry is red. Harry is rough. If something is young and quiet then it is not cold. If something is blue and not round then it is red. If Bob is red then Bob is not round. If something is blue and young then it is cold. All red things are young. If something is quiet then it is not round. Round, young things are red. If something is not rough and not cold then it is not round.
Dave is rough.