Charlie is not big. Charlie is furry. Charlie is kind. Charlie is not red. Charlie is rough. Charlie is not round. Charlie is young. If something is red then it is not rough. If something is kind and not round then it is furry.
Charlie is rough.
@0: Charlie is furry.[(triple2 OR ((triple3 triple6) -> rule2))] Charlie is kind.[(triple3)] Charlie is not big.[(triple1)] Charlie is not red.[(triple4)] Charlie is not round.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple7)]