Anne is cold. Anne is nice. Anne is smart. Charlie is cold. Charlie is not green. Charlie is kind. Charlie is nice. Charlie is not quiet. Charlie is rough. Charlie is smart. If Charlie is cold and Charlie is not kind then Charlie is quiet. If Anne is smart and Anne is not green then Anne is kind. If Anne is nice then Anne is kind. If Anne is quiet then Anne is kind. All green, kind people are quiet. All kind, smart people are rough.
Anne is rough.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is not green.[(triple5)] Charlie is not quiet.[(triple8)] Charlie is rough.[(triple9 OR ((triple6 triple10) -> rule6))] Charlie is smart.[(triple10)] @1: Anne is kind.[(((triple2) -> rule3))] @2: Anne is rough.[(((((triple2) -> rule3) triple3) -> rule6))]