Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is not smart. Anne is white. Anne is young. Charlie is nice. Charlie is rough. Charlie is not round. Charlie is smart. Charlie is white. If someone is smart then they are nice. If someone is red and not rough then they are round.
Anne is not nice.
@0: Anne is nice.[(triple1)] Anne is not smart.[(triple5)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple6)] Anne is young.[(triple7)] Charlie is nice.[(triple8 OR ((triple11) -> rule1))] Charlie is not round.[(triple10)] Charlie is rough.[(triple9)] Charlie is smart.[(triple11)] Charlie is white.[(triple12)]