Bob is green. Bob is not kind. Bob is smart. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is round. Charlie is not smart. Dave is green. Dave is kind. Dave is smart. Erin is blue. Erin is kind. If something is green and not rough then it is not blue.
Erin is round.