Anne is nice. Anne is young. Bob is red. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is smart. Erin is young. If someone is nice then they are red. All young, red people are smart. All smart people are blue.
Anne is not rough.