Bob is green. Bob is rough. Bob is round. Round people are white. Kind, green people are red.
Bob is not white.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] @1: Bob is white.[(((triple3) -> rule1))]