Anne is furry. Bob is furry. Erin is green. Gary is red. If something is rough then it is nice. If something is red then it is rough. If Bob is kind and Bob is nice then Bob is rough. If Bob is green then Bob is quiet. Nice things are rough. If Anne is quiet and Anne is nice then Anne is rough.
Erin is not furry.