Anne is cold. Anne is kind. Anne is nice. Anne is not red. Anne is white. Charlie is not cold. Charlie is nice. Charlie is not quiet. Charlie is red. Charlie is not rough. Nice things are kind.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple3) -> rule1))] Anne is nice.[(triple3)] Anne is not red.[(triple4)] Anne is white.[(triple5)] Charlie is nice.[(triple7)] Charlie is not cold.[(triple6)] Charlie is not quiet.[(triple8)] Charlie is not rough.[(triple10)] Charlie is red.[(triple9)] @1: Charlie is kind.[(((triple7) -> rule1))]