Charlie is big. Charlie is kind. Charlie is not nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is young. If Charlie is not kind then Charlie is rough. If something is red and not young then it is not nice. If something is red and not rough then it is smart. If something is rough then it is red. Smart things are red. All big things are red.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is not nice.[(triple3)] Charlie is red.[(triple4 OR ((triple1) -> rule6) OR ((triple5) -> rule4) OR ((triple6) -> rule5))] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)]