Charlie is quiet. Dave is young. Gary is rough. All nice things are kind. If something is kind then it is young. If something is rough then it is nice.
Gary is kind.
@0: Charlie is quiet.[(triple1)] Dave is young.[(triple2)] Gary is rough.[(triple3)] @1: Gary is nice.[(((triple3) -> rule3))] @2: Gary is kind.[(((((triple3) -> rule3)) -> rule1))] @3: Gary is young.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]