Anne is big. Anne is blue. Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is smart. Charlie is big. Charlie is blue. Gary is big. Gary is blue. Gary is furry. Harry is red. Harry is rough. Harry is smart. If something is furry then it is red. If Harry is rough and Harry is blue then Harry is smart. All big, blue things are red. If something is smart and furry then it is red. If Anne is big then Anne is red. Rough, smart things are furry. Smart, round things are furry. If Anne is blue and Anne is red then Anne is big.
Gary is furry.