Charlie is red. Erin is young. Harry is young. If Erin is young then Erin is red.
Erin is red.
@0: Charlie is red.[(triple1)] Erin is young.[(triple2)] Harry is young.[(triple3)] @1: Erin is red.[(((triple2) -> rule1))]