Charlie is cold. Charlie is smart. Gary is young. If Charlie is cold and Charlie is not smart then Charlie is round. If something is round and not nice then it is not cold. Cold things are not young.
Charlie is smart.
@0: Charlie is cold.[(triple1)] Charlie is smart.[(triple2)] Gary is young.[(triple3)] @1: Charlie is not young.[(((triple1) -> rule3))]