Anne is big. Anne is blue. Anne is furry. Anne is smart. Bob is blue. Erin is cold. Erin is red. If Anne is rough then Anne is smart. All furry people are rough. If someone is rough and not blue then they are smart. All red people are furry. If someone is red and not rough then they are not smart. If someone is blue and not smart then they are not cold.
Erin is rough.