Anne is blue. Anne is furry. Anne is not green. Anne is rough. Anne is smart. Anne is white. Anne is not young. Gary is blue. Gary is furry. Gary is green. Gary is rough. Gary is smart. Gary is white. Gary is young. All green things are young. If something is green and not furry then it is smart.
Gary is not rough.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is not green.[(triple3)] Anne is not young.[(triple7)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple10) -> rule1))]