Anne is quiet. Anne is round. Anne is smart. Anne is not white. Dave is cold. Harry is not quiet. Harry is smart. If something is round then it is big. All nice things are quiet. If something is smart and not round then it is cold.
Anne is white.
@0: Anne is not white.[(triple4)] Anne is quiet.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Dave is cold.[(triple5)] Harry is not quiet.[(triple6)] Harry is smart.[(triple7)] @1: Anne is big.[(((triple2) -> rule1))]