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