Bob is nice. Gary is white. Gary is young. If someone is young and nice then they are cold. If Bob is nice then Bob is red. Red people are young.
Bob is not cold.
@0: Bob is nice.[(triple1)] Gary is white.[(triple2)] Gary is young.[(triple3)] @1: Bob is red.[(((triple1) -> rule2))] @2: Bob is young.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is cold.[(((((((triple1) -> rule2)) -> rule3) triple1) -> rule1))]