Anne is blue. Anne is smart. Bob is blue. Bob is green. Bob is rough. Dave is blue. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is not smart. Erin is blue. Erin is nice. Erin is quiet. Red, smart things are blue. If something is quiet then it is green. All red, green things are rough. Green things are red. All blue things are nice. If something is rough then it is quiet. All rough things are red. If something is nice then it is green.
Erin is nice.