Anne is big. Anne is cold. Anne is not furry. Anne is green. Anne is red. Anne is smart. Anne is white. Charlie is big. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. If Charlie is white then Charlie is green.
Anne is big.