Anne is smart. Charlie is rough. Erin is smart. Fiona is red. If Fiona is rough then Fiona is furry. If Erin is nice then Erin is smart. Red things are smart. Nice things are furry. Smart things are green. All green things are young.
Erin is not nice.