Anne is furry. Anne is kind. Anne is young. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. If Charlie is kind then Charlie is quiet.
Anne is not quiet.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7 OR ((triple5) -> rule1))] Charlie is rough.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)]