Anne is round. Dave is furry. Gary is quiet. Round people are not kind. If someone is big then they are not quiet. If someone is furry and not kind then they are quiet.
Anne is round.
@0: Anne is round.[(triple1)] Dave is furry.[(triple2)] Gary is quiet.[(triple3)] @1: Anne is not kind.[(((triple1) -> rule1))]