Anne is rough. Anne is smart. Bob is furry. Bob is kind. Charlie is smart. Dave is big. Dave is smart. If something is kind then it is nice. All nice, kind things are blue. All blue things are nice. If something is smart then it is big. If something is nice and blue then it is furry. If something is rough and big then it is kind. All nice things are kind. All rough things are big.
Anne is not furry.