Anne is cold. Anne is kind. Anne is quiet. Anne is smart. Anne is white. Dave is quiet. Dave is white. Harry is cold. Harry is green. Harry is white. Smart, green things are quiet. If Dave is quiet then Dave is smart. White things are green. Green, cold things are white. If something is quiet and green then it is white. If something is quiet then it is red. If something is white and not green then it is red. If something is kind and smart then it is red.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple4 ((triple5) -> rule3)) -> rule1))] Anne is smart.[(triple4)] Anne is white.[(triple5)] Dave is quiet.[(triple6)] Dave is white.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9 OR ((triple10) -> rule3))] Harry is white.[(triple10 OR ((triple9 triple8) -> rule4))] @1: Anne is green.[(((triple5) -> rule3))] Anne is red.[(((triple3) -> rule6) OR ((triple2 triple4) -> rule8) OR ((((triple4 ((triple5) -> rule3)) -> rule1)) -> rule6))] Dave is green.[(((triple7) -> rule3))] Dave is red.[(((triple6) -> rule6))] Dave is smart.[(((triple6) -> rule2))]