Charlie is big. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is not white. Charlie is young. Dave is not green. Dave is not rough. Dave is round. Dave is white. Dave is young. If someone is round and not white then they are rough.
Dave is nice.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is not white.[(triple6)] Charlie is rough.[(triple4 OR ((triple5 triple6) -> rule1))] Charlie is round.[(triple5)] Charlie is young.[(triple7)] Dave is not green.[(triple8)] Dave is not rough.[(triple9)] Dave is round.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)]