Anne is red. Erin is green. Fiona is furry. Fiona is green. Fiona is red. Fiona is young. Gary is smart. Smart things are green. All young, red things are smart. If Fiona is smart then Fiona is young. Nice, red things are young. All red things are nice. If something is green then it is rough.
Anne is not smart.