Bob is cold. Bob is white. Gary is kind. All white people are smart.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is white.[(triple2)] Gary is kind.[(triple3)] @1: Bob is smart.[(((triple2) -> rule1))]