Anne is white. Charlie is smart. Dave is rough. Gary is white. If something is rough then it is young.
Charlie is smart.
@0: Anne is white.[(triple1)] Charlie is smart.[(triple2)] Dave is rough.[(triple3)] Gary is white.[(triple4)] @1: Dave is young.[(((triple3) -> rule1))]