Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is smart. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is rough. Gary is blue. Gary is furry. Gary is rough. Gary is smart. If Bob is nice then Bob is rough. Smart people are green. If Bob is smart then Bob is nice. If someone is rough then they are green. All furry people are rough. If someone is nice and blue then they are cold. All smart people are blue. If someone is furry then they are nice.
Bob is rough.