Bob is kind. Bob is quiet. Bob is smart. Dave is quiet. Gary is cold. Gary is not kind. Gary is not round. Gary is not smart. Harry is not cold. Harry is kind. Harry is quiet. Harry is round. All quiet people are smart. If someone is not kind and not cold then they are red. If Bob is cold and Bob is kind then Bob is red.
Gary is smart.