Anne is blue. Anne is not green. Anne is young. Bob is blue. Bob is rough. Gary is not blue. Gary is green. Gary is not nice. Gary is not rough. Gary is smart. Gary is white. Gary is young. All smart, blue people are green. If someone is young and smart then they are white. If someone is blue and not green then they are nice.
Anne is not white.
@0: Anne is blue.[(triple1)] Anne is not green.[(triple2)] Anne is young.[(triple3)] Bob is blue.[(triple4)] Bob is rough.[(triple5)] Gary is green.[(triple7)] Gary is not blue.[(triple6)] Gary is not nice.[(triple8)] Gary is not rough.[(triple9)] Gary is smart.[(triple10)] Gary is white.[(triple11 OR ((triple12 triple10) -> rule2))] Gary is young.[(triple12)] @1: Anne is nice.[(((triple1 triple2) -> rule3))]