Dave is big. Dave is green. Dave is nice. Dave is young. Erin is green. Erin is nice. Erin is not quiet. Erin is rough. Erin is round. Erin is not young. If someone is big then they are round.
Erin is nice.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is young.[(triple4)] Erin is green.[(triple5)] Erin is nice.[(triple6)] Erin is not quiet.[(triple7)] Erin is not young.[(triple10)] Erin is rough.[(triple8)] Erin is round.[(triple9)] @1: Dave is round.[(((triple1) -> rule1))]