Anne is nice. Bob is cold. Bob is green. Bob is not quiet. Harry is cold. Harry is not quiet. Harry is round. All nice things are quiet. If Anne is rough then Anne is round. If something is quiet then it is furry. If Bob is green then Bob is round. If something is furry then it is green. If something is round and not quiet then it is green.
Harry is not nice.
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not quiet.[(triple4)] Harry is cold.[(triple5)] Harry is not quiet.[(triple6)] Harry is round.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule1))] Bob is round.[(((triple3) -> rule4))] Harry is green.[(((triple7 triple6) -> rule6))] @2: Anne is furry.[(((((triple1) -> rule1)) -> rule3))] @3: Anne is green.[(((((((triple1) -> rule1)) -> rule3)) -> rule5))]