Anne is big. Anne is red. Anne is smart. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Gary is red. Harry is big. Harry is quiet. Harry is red. Quiet, big people are rough. If Harry is nice then Harry is not red. All big people are red. If Charlie is nice and Charlie is big then Charlie is not smart. If Harry is red and Harry is not furry then Harry is rough. If Charlie is furry and Charlie is quiet then Charlie is rough. If Anne is red then Anne is quiet. If someone is furry and not red then they are nice.
Gary is smart.