Anne is big. Anne is kind. Anne is quiet. Anne is round. Anne is white. Anne is young. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Round people are quiet. All big people are rough.
Charlie is not round.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule1))] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Charlie is kind.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] @1: Anne is rough.[(((triple1) -> rule2))] Charlie is quiet.[(((triple8) -> rule1))]