Bob is blue. Bob is not cold. Bob is not furry. Bob is quiet. Bob is rough. Dave is blue. Dave is cold. Dave is furry. Dave is green. Erin is not cold. Erin is rough. Gary is green. All quiet things are rough. Quiet things are not smart. All blue, smart things are quiet.
Erin is furry.