Anne is big. Anne is green. Bob is big. Bob is kind. Charlie is not big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is kind. Charlie is rough. Charlie is smart. Harry is furry. Harry is green. Harry is kind. Harry is rough. Harry is not smart. If something is furry then it is green. All blue things are smart. If something is big then it is blue. Rough, big things are blue. All blue, smart things are furry. All big, green things are kind. Green things are rough. If something is kind and not furry then it is big.
Anne is not big.