Anne is blue. Anne is cold. Anne is quiet. Bob is blue. Bob is furry. Bob is quiet. Bob is red. Bob is round. Harry is blue. Harry is red. Red people are white. White people are quiet.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3)] Bob is blue.[(triple4)] Bob is furry.[(triple5)] Bob is quiet.[(triple6 OR ((((triple7) -> rule1)) -> rule2))] Bob is red.[(triple7)] Bob is round.[(triple8)] Harry is blue.[(triple9)] Harry is red.[(triple10)] @1: Bob is white.[(((triple7) -> rule1))] Harry is white.[(((triple10) -> rule1))] @2: Harry is quiet.[(((((triple10) -> rule1)) -> rule2))]