Anne is blue. Anne is green. Anne is nice. Anne is quiet. Anne is rough. Bob is blue. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. Harry is quiet. Harry is smart. Blue people are cold. If someone is quiet then they are nice. If Harry is nice then Harry is blue.
Harry is not blue.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule2))] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Bob is blue.[(triple6)] Bob is nice.[(triple7 OR ((triple8) -> rule2))] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Bob is smart.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Anne is cold.[(((triple1) -> rule1))] Bob is cold.[(((triple6) -> rule1))] Harry is nice.[(((triple11) -> rule2))] @2: Harry is blue.[(((((triple11) -> rule2)) -> rule3))] @3: Harry is cold.[(((((((triple11) -> rule2)) -> rule3)) -> rule1))]