Anne is big. Anne is furry. Anne is green. Anne is round. Anne is white. Erin is furry. Erin is white. Fiona is green. Fiona is round. Harry is furry. Harry is green. If something is smart then it is white. If something is green then it is smart. Red, green things are smart. Red things are furry. All smart, white things are red. If Anne is round then Anne is furry. If something is smart and green then it is white. If something is furry then it is big.
Erin is not smart.