Bob is white. Erin is young. Gary is white. All white, young things are not smart. All rough things are not smart. Green things are cold. If something is rough then it is not green. Young things are green. Rough, young things are blue. White things are young. If something is white and not rough then it is young.
Gary is cold.
@0: Bob is white.[(triple1)] Erin is young.[(triple2)] Gary is white.[(triple3)] @1: Bob is young.[(((triple1) -> rule7))] Erin is green.[(((triple2) -> rule5))] Gary is young.[(((triple3) -> rule7))] @2: Bob is green.[(((((triple1) -> rule7)) -> rule5))] Bob is not smart.[(((triple1 ((triple1) -> rule7)) -> rule1))] Erin is cold.[(((((triple2) -> rule5)) -> rule3))] Gary is green.[(((((triple3) -> rule7)) -> rule5))] Gary is not smart.[(((triple3 ((triple3) -> rule7)) -> rule1))] @3: Bob is cold.[(((((((triple1) -> rule7)) -> rule5)) -> rule3))] Gary is cold.[(((((((triple3) -> rule7)) -> rule5)) -> rule3))]