Anne is big. Anne is kind. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is young. Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. If someone is young and rough then they are big. Young people are nice. If Anne is nice and Anne is young then Anne is rough.
Anne is not kind.
@0: Anne is big.[(triple1 OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple3 triple7) -> rule3)) -> rule1) OR ((triple7 ((((triple7) -> rule2) triple7) -> rule3)) -> rule1))] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple7) -> rule2))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple3 triple7) -> rule3) OR ((((triple7) -> rule2) triple7) -> rule3))] Anne is smart.[(triple6)] Anne is young.[(triple7)] Charlie is big.[(triple8 OR ((triple14 triple12) -> rule1))] Charlie is kind.[(triple9)] Charlie is nice.[(triple10 OR ((triple14) -> rule2))] Charlie is red.[(triple11)] Charlie is rough.[(triple12)] Charlie is smart.[(triple13)] Charlie is young.[(triple14)]