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