Bob is quiet. Charlie is rough. Dave is big. Gary is white. If something is rough then it is green. Green things are smart. All white things are rough.
Gary is not white.
@0: Bob is quiet.[(triple1)] Charlie is rough.[(triple2)] Dave is big.[(triple3)] Gary is white.[(triple4)] @1: Charlie is green.[(((triple2) -> rule1))] Gary is rough.[(((triple4) -> rule3))] @2: Charlie is smart.[(((((triple2) -> rule1)) -> rule2))] Gary is green.[(((((triple4) -> rule3)) -> rule1))] @3: Gary is smart.[(((((((triple4) -> rule3)) -> rule1)) -> rule2))]