Charlie is white. All big people are rough. All red, white people are round. All red people are not round. If Charlie is smart then Charlie is white. White, rough people are not red. If someone is big and white then they are not red. If someone is red then they are not big. All red people are nice.
Charlie is big.
@0: Charlie is white.[(triple1)]