Anne is not big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. Gary is rough. Gary is smart. All smart, rough people are kind.
Gary is green.
@0: Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple7 triple6) -> rule1))] Anne is nice.[(triple5)] Anne is not big.[(triple1)] Anne is rough.[(triple6)] Anne is smart.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11 OR ((triple14 triple13) -> rule1))] Gary is nice.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14)]