Bob is big. Bob is cold. Bob is quiet. Bob is red. Bob is rough. Dave is big. Dave is cold. Dave is not green. Dave is quiet. Dave is rough. Gary is big. Gary is blue. Gary is cold. Gary is red. Harry is not cold. Harry is rough. Blue, quiet things are red. If Dave is blue and Dave is quiet then Dave is not rough. If Harry is blue and Harry is rough then Harry is not quiet. All red, green things are not quiet. Green, red things are blue. If something is not blue then it is not green.
Harry is not quiet.