Dave is big. Erin is young. Fiona is kind. If someone is red and nice then they are big. Young people are nice. All nice people are red.
Erin is nice.
@0: Dave is big.[(triple1)] Erin is young.[(triple2)] Fiona is kind.[(triple3)] @1: Erin is nice.[(((triple2) -> rule2))] @2: Erin is red.[(((((triple2) -> rule2)) -> rule3))] @3: Erin is big.[(((((((triple2) -> rule2)) -> rule3) ((triple2) -> rule2)) -> rule1))]