Anne is red. Anne is young. Charlie is smart. Charlie is white. Charlie is young. Dave is smart. Gary is smart. All white people are blue.
Dave is smart.
@0: Anne is red.[(triple1)] Anne is young.[(triple2)] Charlie is smart.[(triple3)] Charlie is white.[(triple4)] Charlie is young.[(triple5)] Dave is smart.[(triple6)] Gary is smart.[(triple7)] @1: Charlie is blue.[(((triple4) -> rule1))]