Anne is not green. Anne is white. Charlie is furry. Charlie is green. Charlie is red. Charlie is white. Gary is furry. Gary is nice. Harry is red. Harry is not white. Big, red people are green. Smart, nice people are white. If someone is furry then they are red. Smart, nice people are white. All green people are smart. If Gary is nice and Gary is red then Gary is big.
Gary is big.