Anne is blue. Anne is red. Anne is smart. Bob is red. Bob is smart. Charlie is green. Harry is rough. All cold people are blue. All red people are cold. All smart people are rough.
Charlie is not blue.
@0: Anne is blue.[(triple1 OR ((((triple2) -> rule2)) -> rule1))] Anne is red.[(triple2)] Anne is smart.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Charlie is green.[(triple6)] Harry is rough.[(triple7)] @1: Anne is cold.[(((triple2) -> rule2))] Anne is rough.[(((triple3) -> rule3))] Bob is cold.[(((triple4) -> rule2))] Bob is rough.[(((triple5) -> rule3))] @2: Bob is blue.[(((((triple4) -> rule2)) -> rule1))]