Anne is rough. Anne is smart. Anne is white. Bob is blue. Bob is red. Harry is cold. Harry is red. If something is red then it is quiet. If something is red then it is blue.
Anne is not smart.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple5) -> rule2))] Bob is red.[(triple5)] Harry is cold.[(triple6)] Harry is red.[(triple7)] @1: Bob is quiet.[(((triple5) -> rule1))] Harry is blue.[(((triple7) -> rule2))] Harry is quiet.[(((triple7) -> rule1))]