Bob is red. Bob is young. Charlie is furry. Charlie is smart. Charlie is young. Erin is furry. Gary is blue. Gary is red. Gary is white. Gary is young. If something is blue then it is white. Red, furry things are big. If something is red then it is blue. If something is furry and blue then it is big. All furry, young things are white. All smart, blue things are furry. All white, blue things are smart. If something is big then it is blue. If something is smart and not white then it is red.
Gary is not big.