Charlie is not big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. If Charlie is quiet and Charlie is big then Charlie is white. If something is round then it is quiet. If something is white and not big then it is round. All round things are rough. If something is kind then it is rough. If something is big and not quiet then it is kind.
Charlie is kind.
@0: Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is not big.[(triple1)] Charlie is quiet.[(triple4 OR ((triple6) -> rule2) OR ((((triple7 triple1) -> rule3)) -> rule2))] Charlie is rough.[(triple5 OR ((triple3) -> rule5) OR ((triple6) -> rule4) OR ((((triple7 triple1) -> rule3)) -> rule4))] Charlie is round.[(triple6 OR ((triple7 triple1) -> rule3))] Charlie is white.[(triple7)]