Anne is cold. Anne is kind. Anne is quiet. Charlie is cold. Charlie is not rough. Dave is cold. Dave is not quiet. Dave is rough. Harry is not kind. Harry is rough. If something is kind then it is red. Red things are nice. All nice things are cold.
Anne is nice.
@0: Anne is cold.[(triple1 OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Charlie is cold.[(triple4)] Charlie is not rough.[(triple5)] Dave is cold.[(triple6)] Dave is not quiet.[(triple7)] Dave is rough.[(triple8)] Harry is not kind.[(triple9)] Harry is rough.[(triple10)] @1: Anne is red.[(((triple2) -> rule1))] @2: Anne is nice.[(((((triple2) -> rule1)) -> rule2))]