Charlie is big. Erin is young. Fiona is rough. If Charlie is young then Charlie is big. All young things are furry. Big things are young.
Erin is furry.
@0: Charlie is big.[(triple1)] Erin is young.[(triple2)] Fiona is rough.[(triple3)] @1: Charlie is young.[(((triple1) -> rule3))] Erin is furry.[(((triple2) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule3)) -> rule2))]