Anne is blue. Anne is cold. Anne is nice. Anne is white. Bob is green. Bob is smart. Bob is not white. All green people are nice. Rough people are cold. If someone is nice then they are rough. Cold people are green. If someone is nice and not green then they are white. If someone is rough and not nice then they are white.
Bob is not rough.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((((triple3) -> rule3)) -> rule2))] Anne is nice.[(triple3 OR ((((triple2) -> rule4)) -> rule1))] Anne is white.[(triple4)] Bob is green.[(triple5)] Bob is not white.[(triple7)] Bob is smart.[(triple6)] @1: Anne is green.[(((triple2) -> rule4) OR ((((((triple3) -> rule3)) -> rule2)) -> rule4))] Anne is rough.[(((triple3) -> rule3) OR ((((((triple2) -> rule4)) -> rule1)) -> rule3))] Bob is nice.[(((triple5) -> rule1))] @2: Bob is rough.[(((((triple5) -> rule1)) -> rule3))] @3: Bob is cold.[(((((((triple5) -> rule1)) -> rule3)) -> rule2))]