Anne is young. Bob is quiet. Gary is round. If something is kind and rough then it is young. Young things are round. Quiet things are round. All round, quiet things are rough. If something is kind and round then it is not rough. If something is big then it is quiet.
Gary is rough.
@0: Anne is young.[(triple1)] Bob is quiet.[(triple2)] Gary is round.[(triple3)] @1: Anne is round.[(((triple1) -> rule2))] Bob is round.[(((triple2) -> rule3))] @2: Bob is rough.[(((((triple2) -> rule3) triple2) -> rule4))]