Bob is smart. Bob is young. Dave is young. All red things are cold. All green things are cold. If something is white and kind then it is green. If something is red and smart then it is kind. Young things are white. If something is smart and young then it is red.
Bob is white.
@0: Bob is smart.[(triple1)] Bob is young.[(triple2)] Dave is young.[(triple3)] @1: Bob is red.[(((triple1 triple2) -> rule6))] Bob is white.[(((triple2) -> rule5))] Dave is white.[(((triple3) -> rule5))] @2: Bob is cold.[(((((triple1 triple2) -> rule6)) -> rule1) OR ((((((triple2) -> rule5) ((((triple1 triple2) -> rule6) triple1) -> rule4)) -> rule3)) -> rule2))] Bob is kind.[(((((triple1 triple2) -> rule6) triple1) -> rule4))] @3: Bob is green.[(((((triple2) -> rule5) ((((triple1 triple2) -> rule6) triple1) -> rule4)) -> rule3))]