Erin is rough. Erin is white. Fiona is quiet. All green people are furry. If Erin is rough then Erin is green. Furry people are red.
Erin is green.
@0: Erin is rough.[(triple1)] Erin is white.[(triple2)] Fiona is quiet.[(triple3)] @1: Erin is green.[(((triple1) -> rule2))] @2: Erin is furry.[(((((triple1) -> rule2)) -> rule1))] @3: Erin is red.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]