Anne is big. Anne is furry. Anne is kind. Anne is not red. Anne is smart. Bob is not big. Bob is furry. Bob is kind. Bob is rough. Dave is furry. Dave is smart. Erin is cold. Erin is not furry. Erin is kind. Erin is red. If something is big and not kind then it is furry. If something is smart and cold then it is rough. Furry, smart things are big.
Erin is smart.