Bob is green. Charlie is cold. Erin is red. All green people are smart. All rough people are blue. Smart people are rough.
Bob is not red.
@0: Bob is green.[(triple1)] Charlie is cold.[(triple2)] Erin is red.[(triple3)] @1: Bob is smart.[(((triple1) -> rule1))] @2: Bob is rough.[(((((triple1) -> rule1)) -> rule3))] @3: Bob is blue.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]