Anne is blue. Anne is nice. Anne is not rough. Anne is smart. Bob is blue. Bob is quiet. Erin is nice. Erin is red. Erin is rough. Erin is smart. All red things are blue. If something is blue and rough then it is not quiet. If something is rough then it is blue.
Erin is not quiet.