Bob is not round. Charlie is kind. Gary is not rough. If something is round then it is young. All kind things are round.
Bob is not round.
@0: Bob is not round.[(triple1)] Charlie is kind.[(triple2)] Gary is not rough.[(triple3)] @1: Charlie is round.[(((triple2) -> rule2))] @2: Charlie is young.[(((((triple2) -> rule2)) -> rule1))]