Erin is green. Fiona is quiet. Harry is red. If someone is red then they are young.
Erin is young.
@0: Erin is green.[(triple1)] Fiona is quiet.[(triple2)] Harry is red.[(triple3)] @1: Harry is young.[(((triple3) -> rule1))]