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