Erin is quiet. Gary is nice. Harry is young. If something is nice then it is round.
Harry is not nice.
@0: Erin is quiet.[(triple1)] Gary is nice.[(triple2)] Harry is young.[(triple3)] @1: Gary is round.[(((triple2) -> rule1))]