Charlie is big. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is smart. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is red. Gary is smart. Red, nice things are green. Green, kind things are red. If something is green then it is nice. Nice, furry things are green. All nice things are red. All furry things are big.
Gary is not green.