Charlie is big. Erin is not rough. Fiona is blue. If something is furry then it is green. Green things are rough. If Charlie is green and Charlie is blue then Charlie is white. All rough, white things are furry. If something is blue and not big then it is furry. All green, blue things are smart.
Erin is not blue.