Erin is young. Harry is green. Green people are round. If someone is rough and green then they are round. If Harry is big then Harry is young.
Erin is not round.
@0: Erin is young.[(triple1)] Harry is green.[(triple2)] @1: Harry is round.[(((triple2) -> rule1))]