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