Anne is blue. Anne is cold. Anne is furry. Anne is red. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. If Bob is kind and Bob is blue then Bob is smart.
Anne is not rough.