Bob is smart. Dave is rough. Fiona is furry. Gary is young. Smart things are young. If something is young then it is rough. All furry things are smart.
Dave is not smart.
@0: Bob is smart.[(triple1)] Dave is rough.[(triple2)] Fiona is furry.[(triple3)] Gary is young.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] Fiona is smart.[(((triple3) -> rule3))] Gary is rough.[(((triple4) -> rule2))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule2))] Fiona is young.[(((((triple3) -> rule3)) -> rule1))] @3: Fiona is rough.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]