Anne is green. Bob is not green. Bob is rough. Dave is rough. Gary is blue. Gary is red. Gary is white. Red, blue people are smart. Blue, red people are nice. Blue people are nice.
Dave is not rough.
@0: Anne is green.[(triple1)] Bob is not green.[(triple2)] Bob is rough.[(triple3)] Dave is rough.[(triple4)] Gary is blue.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)] @1: Gary is nice.[(((triple5) -> rule3) OR ((triple5 triple6) -> rule2))] Gary is smart.[(((triple6 triple5) -> rule1))]