Bob is blue. Gary is white. All white things are cold. If something is kind then it is green. All blue things are white. Cold things are not kind. If something is blue and not white then it is furry. If Bob is not kind then Bob is red.
Bob is kind.
@0: Bob is blue.[(triple1)] Gary is white.[(triple2)] @1: Bob is white.[(((triple1) -> rule3))] Gary is cold.[(((triple2) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule3)) -> rule1))] Gary is not kind.[(((((triple2) -> rule1)) -> rule4))] @3: Bob is not kind.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))] @4: Bob is red.[(((((((((triple1) -> rule3)) -> rule1)) -> rule4)) -> rule6))]