Bob is not cold. Bob is quiet. Bob is red. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is smart. Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is smart. Harry is big. All green people are furry. If someone is big and not cold then they are red. Quiet people are red. If someone is quiet then they are smart. Furry, big people are quiet. All red people are green. All green people are red. If Harry is cold and Harry is not quiet then Harry is not big.
Harry is quiet.