Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is young. Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is young. All kind, big things are green.
Dave is not red.
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple3 triple1) -> rule1))] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Erin is big.[(triple8)] Erin is green.[(triple9 OR ((triple10 triple8) -> rule1))] Erin is kind.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is young.[(triple14)]