Bob is white. Gary is cold. All white, blue things are green. If Bob is white then Bob is blue. If something is cold then it is nice. White, blue things are rough. If something is white and rough then it is cold. If something is young then it is blue. If Gary is white and Gary is young then Gary is cold. If something is green and young then it is blue.
Bob is not rough.
@0: Bob is white.[(triple1)] Gary is cold.[(triple2)] @1: Bob is blue.[(((triple1) -> rule2))] Gary is nice.[(((triple2) -> rule3))] @2: Bob is green.[(((triple1 ((triple1) -> rule2)) -> rule1))] Bob is rough.[(((triple1 ((triple1) -> rule2)) -> rule4))] @3: Bob is cold.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule4)) -> rule5))] @4: Bob is nice.[(((((triple1 ((triple1 ((triple1) -> rule2)) -> rule4)) -> rule5)) -> rule3))]