Anne is big. Bob is furry. Bob is green. Bob is red. Bob is round. Charlie is furry. Charlie is green. Quiet things are kind. If something is quiet then it is furry. If something is big then it is red. All kind, big things are round. Quiet things are big. If something is round then it is furry. All furry, green things are quiet. If something is round then it is red.
Bob is not furry.