Bob is nice. Bob is big. Charlie is round. Charlie is red. Charlie is cold. Charlie is blue. Dave is kind. Dave is blue. Gary is round. Gary is nice. Gary is kind. Gary is cold. If someone is round and red and nice then they are green. If someone is green and round then they are cold. If someone is rough then they are round. If someone is blue and kind then they are green. If someone is kind and green then they are round. If someone is rough and green then they are blue.
Dave is not round.