Bob is blue. Bob is red. Erin is red. Big, rough people are nice. If someone is nice and red then they are young. Big people are smart. Blue people are rough. All rough people are big. Big, rough people are nice. If Erin is nice and Erin is rough then Erin is smart. If Bob is young then Bob is blue.
Erin is not red.