Bob is cold. Bob is green. Bob is smart. Fiona is quiet. Gary is furry. Gary is quiet. Harry is rough. All smart people are red. If Harry is furry then Harry is quiet. All quiet people are green.
Gary is not quiet.