Anne is nice. Anne is smart. Anne is young. Bob is nice. Bob is white. Charlie is white. Charlie is young. White things are smart. All young, nice things are smart. If Bob is smart and Bob is nice then Bob is blue.
Bob is not cold.
@0: Anne is nice.[(triple1)] Anne is smart.[(triple2 OR ((triple3 triple1) -> rule2))] Anne is young.[(triple3)] Bob is nice.[(triple4)] Bob is white.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] @1: Bob is smart.[(((triple5) -> rule1))] Charlie is smart.[(((triple6) -> rule1))] @2: Bob is blue.[(((((triple5) -> rule1) triple4) -> rule3))]