Charlie is nice. Charlie is quiet. Dave is kind. Kind things are white. If something is furry and not kind then it is white. If something is kind and not furry then it is not white. All smart things are quiet. All furry things are not quiet. If Dave is not white then Dave is quiet.
Charlie is nice.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Dave is kind.[(triple3)] @1: Dave is white.[(((triple3) -> rule1))]