Anne is nice. Anne is white. Bob is furry. Bob is white. Charlie is blue. Charlie is furry. Charlie is red. Gary is not big. Gary is blue. Gary is red. If something is red and not white then it is not big.
Gary is not blue.