Anne is green. Bob is smart. Charlie is white. Dave is rough. All smart people are not white. If someone is red and green then they are white.
Bob is not white.
@0: Anne is green.[(triple1)] Bob is smart.[(triple2)] Charlie is white.[(triple3)] Dave is rough.[(triple4)] @1: Bob is not white.[(((triple2) -> rule1))]