Anne is green. Anne is nice. Anne is rough. Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is rough. Bob is smart. Charlie is cold. Charlie is green. Charlie is rough. Harry is not green. Harry is not kind. Harry is nice. All nice people are furry. If Anne is rough then Anne is nice. Furry, cold people are smart. If Bob is not green then Bob is rough. If Bob is not green then Bob is nice. Green people are furry. If someone is smart and rough then they are nice. If someone is not rough then they are nice.
Charlie is not kind.