Bob is smart. Erin is not rough. Fiona is green. All big, round things are rough. If something is rough and not big then it is round. Blue, green things are rough. If something is green and round then it is blue. All green things are blue. If something is rough and not round then it is red.
Erin is smart.