Anne is green. Anne is nice. Charlie is quiet. Dave is cold. Harry is furry. Harry is nice. Harry is smart. If something is nice and not furry then it is smart. If Dave is red then Dave is nice. If something is quiet and smart then it is not green. If Harry is smart then Harry is green. If something is cold and green then it is not nice. If something is green then it is nice.
Charlie is not quiet.
@0: Anne is green.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule6))] Charlie is quiet.[(triple3)] Dave is cold.[(triple4)] Harry is furry.[(triple5)] Harry is nice.[(triple6 OR ((((triple7) -> rule4)) -> rule6))] Harry is smart.[(triple7)] @1: Harry is green.[(((triple7) -> rule4))]