Charlie is smart. If something is green and blue then it is young. All young, cold things are blue. If something is smart and round then it is green.
Charlie is not smart.
@0: Charlie is smart.[(triple1)]