Charlie is big. Charlie is quiet. Charlie is round. If Charlie is quiet and Charlie is round then Charlie is young. If Charlie is young then Charlie is kind.
Charlie is rough.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] @1: Charlie is young.[(((triple2 triple3) -> rule1))] @2: Charlie is kind.[(((((triple2 triple3) -> rule1)) -> rule2))]