Dave is blue. Dave is green. Dave is red. Dave is white. Dave is young. Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is young. Rough, white people are nice. All blue, white people are rough.
Dave is young.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is red.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is nice.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Dave is rough.[(((triple1 triple4) -> rule2))] @2: Dave is nice.[(((((triple1 triple4) -> rule2) triple4) -> rule1))]