Charlie is big. Charlie is furry. Charlie is kind. Charlie is not red. Charlie is not rough. Charlie is not round. Charlie is not smart. All furry people are not red. If someone is big and rough then they are not furry. If someone is rough then they are kind.
Charlie is furry.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not red.[(triple4 OR ((triple2) -> rule1))] Charlie is not rough.[(triple5)] Charlie is not round.[(triple6)] Charlie is not smart.[(triple7)]