Anne is cold. Anne is rough. Bob is smart. Dave is rough. Dave is smart. Harry is rough. Harry is smart. All smart things are cold. Smart, blue things are not quiet. All nice things are blue. If something is rough and not cold then it is blue. Rough things are nice. If something is blue then it is nice.
Harry is blue.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Bob is smart.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Anne is nice.[(((triple2) -> rule5))] Bob is cold.[(((triple3) -> rule1))] Dave is cold.[(((triple5) -> rule1))] Dave is nice.[(((triple4) -> rule5))] Harry is cold.[(((triple7) -> rule1))] Harry is nice.[(((triple6) -> rule5))] @2: Anne is blue.[(((((triple2) -> rule5)) -> rule3))] Dave is blue.[(((((triple4) -> rule5)) -> rule3))] Harry is blue.[(((((triple6) -> rule5)) -> rule3))] @3: Dave is not quiet.[(((triple5 ((((triple4) -> rule5)) -> rule3)) -> rule2))] Harry is not quiet.[(((triple7 ((((triple6) -> rule5)) -> rule3)) -> rule2))]