Erin is quiet. Erin is young. Fiona is furry. If someone is young then they are big. All furry people are young.
Fiona is big.
@0: Erin is quiet.[(triple1)] Erin is young.[(triple2)] Fiona is furry.[(triple3)] @1: Erin is big.[(((triple2) -> rule1))] Fiona is young.[(((triple3) -> rule2))] @2: Fiona is big.[(((((triple3) -> rule2)) -> rule1))]