Bob is young. Gary is big. Harry is young. Big people are round.
Bob is not round.
@0: Bob is young.[(triple1)] Gary is big.[(triple2)] Harry is young.[(triple3)] @1: Gary is round.[(((triple2) -> rule1))]