Anne is not furry. Anne is green. Anne is kind. Anne is nice. Anne is not rough. Anne is smart. Anne is young. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is young. Dave is nice. Erin is smart. If someone is rough then they are smart. If someone is green and not young then they are smart.
Anne is nice.
@0: Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not furry.[(triple1)] Anne is not rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Charlie is green.[(triple8)] Charlie is kind.[(triple9)] Charlie is nice.[(triple10)] Charlie is rough.[(triple11)] Charlie is smart.[(triple12 OR ((triple11) -> rule1))] Charlie is young.[(triple13)] Dave is nice.[(triple14)] Erin is smart.[(triple15)]