Charlie is nice. Dave is green. Dave is white. Erin is nice. Gary is big. Gary is blue. Gary is white. White people are nice.
Erin is not white.
@0: Charlie is nice.[(triple1)] Dave is green.[(triple2)] Dave is white.[(triple3)] Erin is nice.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is white.[(triple7)] @1: Dave is nice.[(((triple3) -> rule1))] Gary is nice.[(((triple7) -> rule1))]