Bob is blue. Charlie is green. Charlie is smart. If Charlie is green then Charlie is rough.
Charlie is smart.
@0: Bob is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3)] @1: Charlie is rough.[(((triple2) -> rule1))]