Bob is furry. Bob is kind. Bob is rough. Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is smart. Dave is blue. Dave is kind. Dave is smart. Big things are blue. All rough things are big. If something is kind then it is big. All blue things are smart. If something is rough then it is kind. All smart things are big.
Bob is not furry.