Anne is kind. Anne is round. Anne is not white. Charlie is not nice. Erin is cold. Erin is nice. Harry is nice. If something is rough and not white then it is quiet. If something is kind then it is quiet. All white things are round.
Anne is not round.
@0: Anne is kind.[(triple1)] Anne is not white.[(triple3)] Anne is round.[(triple2)] Charlie is not nice.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6)] Harry is nice.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule2))]