Bob is big. Bob is green. Bob is red. Bob is round. Bob is not white. Bob is young. Charlie is not big. Charlie is blue. Charlie is green. Charlie is round. Charlie is white. Charlie is young. Gary is big. Gary is not green. Harry is round. Harry is young. If Gary is round then Gary is blue. If someone is blue then they are round. Round people are red.
Bob is white.