Anne is cold. Anne is kind. Anne is rough. Charlie is not blue. Charlie is not cold. Charlie is not quiet. Charlie is not white. If Charlie is nice then Charlie is not rough. Rough, quiet things are not blue. If Charlie is cold and Charlie is not quiet then Charlie is kind. All cold things are nice. Nice, rough things are white. If something is quiet and not white then it is not kind.
Anne is blue.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Charlie is not blue.[(triple4)] Charlie is not cold.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is not white.[(triple7)] @1: Anne is nice.[(((triple1) -> rule4))] @2: Anne is white.[(((((triple1) -> rule4) triple3) -> rule5))]