Anne is green. Anne is quiet. Anne is smart. Charlie is blue. Charlie is green. Charlie is red. Erin is smart. Gary is green. Gary is quiet. Gary is red. All smart, furry things are green. Nice things are quiet. Quiet things are red. All furry things are green. If Anne is nice and Anne is blue then Anne is smart. Quiet things are green.
Gary is red.