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