Anne is kind. Anne is red. Anne is rough. Bob is kind. Bob is round. Erin is red. Harry is round. If someone is green then they are round. All red people are rough. All furry, green people are not cold. If Erin is round then Erin is red. If someone is rough then they are green. If someone is round and not kind then they are furry. If Harry is green and Harry is kind then Harry is red. All cold people are red.
Erin is not red.