Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Fiona is not red. Gary is big. Gary is not blue. Gary is red. Gary is not rough. Red, rough things are smart. If something is rough and blue then it is red. Blue, furry things are green. All red things are furry. If something is smart and blue then it is green. If Charlie is furry then Charlie is blue. All big things are red. If something is not red and not furry then it is green.
Gary is not green.