Charlie is not big. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Rough, big things are green. If Dave is not green then Dave is quiet.
Dave is green.
@0: Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is not big.[(triple1)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9 OR ((triple12 triple8) -> rule1))] Dave is nice.[(triple10)] Dave is quiet.[(triple11)] Dave is rough.[(triple12)] Dave is smart.[(triple13)] Dave is white.[(triple14)]