Anne is red. Dave is young. Gary is kind. Harry is young. If someone is smart and not cold then they are big. Red, round people are not young. If someone is kind and not cold then they are young. All kind people are smart. If someone is red and not cold then they are round. If Harry is red then Harry is not smart.
Gary is big.