Charlie is kind. Kind things are not big. All white, rough things are big. All big, white things are kind. If something is big then it is kind. If something is big then it is not smart. If something is furry and white then it is smart. All red, smart things are white. If something is rough then it is furry.
Charlie is kind.
@0: Charlie is kind.[(triple1)] @1: Charlie is not big.[(((triple1) -> rule1))]