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