Bob is green. Charlie is rough. Dave is rough. Red people are green. If someone is rough and nice then they are cold. If someone is rough then they are nice.
Dave is not nice.
@0: Bob is green.[(triple1)] Charlie is rough.[(triple2)] Dave is rough.[(triple3)] @1: Charlie is nice.[(((triple2) -> rule3))] Dave is nice.[(((triple3) -> rule3))] @2: Charlie is cold.[(((triple2 ((triple2) -> rule3)) -> rule2))] Dave is cold.[(((triple3 ((triple3) -> rule3)) -> rule2))]