Charlie is big. If Charlie is rough and Charlie is round then Charlie is white. If Charlie is green and Charlie is white then Charlie is blue. If Charlie is green then Charlie is rough. If Charlie is big and Charlie is red then Charlie is blue. All big, rough things are red. Big, rough things are round.
Charlie is not round.
@0: Charlie is big.[(triple1)]