Anne is red. Charlie is big. Charlie is quiet. Charlie is smart. Gary is big. Gary is furry. Harry is red. If something is smart and not red then it is big. If Gary is red then Gary is blue.
Charlie is big.