Bob is rough. Dave is rough. All rough things are round. If something is green and not young then it is not round. Green things are white. If something is young then it is white. If Dave is not green then Dave is rough. If Dave is green then Dave is not white.
Dave is not white.
@0: Bob is rough.[(triple1)] Dave is rough.[(triple2)] @1: Bob is round.[(((triple1) -> rule1))] Dave is round.[(((triple2) -> rule1))]