Charlie is nice. Erin is nice. Erin is red. Fiona is big. Fiona is green. Fiona is red. Fiona is smart. If something is big and nice then it is red. Nice, furry things are red. Smart, nice things are big. All red things are green. All nice things are smart. All red things are big. If something is big and nice then it is red. If Charlie is red then Charlie is green.
Charlie is not furry.