Anne is cold. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is smart. If something is cold and not red then it is not rough. If something is cold and round then it is smart.
Anne is quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is smart.[(triple7 OR ((triple1 triple6) -> rule2))]