Charlie is smart. If something is round and blue then it is big. All smart things are young. Blue things are young.
Charlie is not big.
@0: Charlie is smart.[(triple1)] @1: Charlie is young.[(((triple1) -> rule2))]