Charlie is green. Charlie is kind. Charlie is red. Charlie is not young. Dave is green. Dave is not kind. Dave is nice. Dave is red. Dave is rough. Dave is round. If something is kind and not nice then it is young. All round, red things are green. If something is red and not nice then it is not round. If something is round then it is rough. If something is red and not nice then it is rough. If something is round and not young then it is red.
Dave is not rough.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Charlie is not young.[(triple4)] Charlie is red.[(triple3)] Dave is green.[(triple5 OR ((triple10 triple8) -> rule2))] Dave is nice.[(triple7)] Dave is not kind.[(triple6)] Dave is red.[(triple8)] Dave is rough.[(triple9 OR ((triple10) -> rule4))] Dave is round.[(triple10)]