Anne is big. Anne is not cold. Anne is not green. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Charlie is big. Charlie is cold. Charlie is green. Charlie is not kind. Charlie is nice. Charlie is quiet. Charlie is white. If Anne is kind then Anne is not green.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is not cold.[(triple2)] Anne is not green.[(triple3 OR ((triple4) -> rule1))] Anne is quiet.[(triple6)] Anne is white.[(triple7)] Charlie is big.[(triple8)] Charlie is cold.[(triple9)] Charlie is green.[(triple10)] Charlie is nice.[(triple12)] Charlie is not kind.[(triple11)] Charlie is quiet.[(triple13)] Charlie is white.[(triple14)]