Anne is nice. Anne is round. Anne is smart. Bob is big. Charlie is round. Gary is big. Gary is nice. Big people are white. If someone is kind then they are round. If someone is big and kind then they are smart. If someone is nice and big then they are red. All red people are kind. White people are nice. All big, nice people are round. If someone is nice and not round then they are kind.
Charlie is nice.