Bob is white. Dave is rough. Gary is blue. White people are blue. Blue people are not nice. If Bob is blue and Bob is not nice then Bob is rough.
Bob is not nice.
@0: Bob is white.[(triple1)] Dave is rough.[(triple2)] Gary is blue.[(triple3)] @1: Bob is blue.[(((triple1) -> rule1))] Gary is not nice.[(((triple3) -> rule2))] @2: Bob is not nice.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is rough.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule2)) -> rule3))]