Charlie is not quiet. Gary is round. Harry is green. If someone is round then they are big. If someone is green then they are round.
Harry is not big.
@0: Charlie is not quiet.[(triple1)] Gary is round.[(triple2)] Harry is green.[(triple3)] @1: Gary is big.[(((triple2) -> rule1))] Harry is round.[(((triple3) -> rule2))] @2: Harry is big.[(((((triple3) -> rule2)) -> rule1))]