Bob is big. Erin is rough. Fiona is green. Young things are furry. All big things are young.
Fiona is not green.
@0: Bob is big.[(triple1)] Erin is rough.[(triple2)] Fiona is green.[(triple3)] @1: Bob is young.[(((triple1) -> rule2))] @2: Bob is furry.[(((((triple1) -> rule2)) -> rule1))]