Anne is nice. Bob is red. Charlie is furry. Erin is nice. All nice things are furry. If something is green then it is big. All green things are red. If something is red and furry then it is young. Big things are young. Red, young things are nice. All green, nice things are young. If Erin is green and Erin is nice then Erin is big.
Charlie is big.