Anne is green. Anne is red. Erin is big. Erin is blue. Erin is green. Erin is red. Fiona is blue. Gary is big. Gary is red. Gary is rough. Gary is smart. Gary is white. Blue, smart people are red. Green, big people are smart. Big people are blue. Blue people are rough. All smart, big people are green. If Fiona is smart then Fiona is rough.
Fiona is not smart.