Charlie is not furry. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is not rough. Charlie is young. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is young. If Dave is red then Dave is quiet. If Dave is green and Dave is not red then Dave is not kind.
Charlie is kind.
@0: Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not furry.[(triple1)] Charlie is not rough.[(triple6)] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is young.[(triple7)] Dave is furry.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is quiet.[(triple11 OR ((triple12) -> rule1))] Dave is red.[(triple12)] Dave is rough.[(triple13)] Dave is young.[(triple14)]