Bob is young. Dave is nice. Dave is rough. If Bob is rough then Bob is green. If someone is rough then they are young. Young people are red.
Dave is not young.
@0: Bob is young.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] @1: Bob is red.[(((triple1) -> rule3))] Dave is young.[(((triple3) -> rule2))] @2: Dave is red.[(((((triple3) -> rule2)) -> rule3))]