Charlie is blue. Charlie is rough. Charlie is white. Dave is green. Dave is nice. Dave is quiet. Dave is white. Blue, rough people are green.
Dave is green.
@0: Charlie is blue.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is white.[(triple7)] @1: Charlie is green.[(((triple1 triple2) -> rule1))]