Anne is cold. Anne is furry. Anne is quiet. Anne is rough. Anne is round. Anne is not white. Dave is blue. Dave is not furry. Erin is cold. Erin is rough. All blue things are quiet. If something is blue and not white then it is not quiet.
Erin is round.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not white.[(triple6)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Dave is blue.[(triple7)] Dave is not furry.[(triple8)] Erin is cold.[(triple9)] Erin is rough.[(triple10)] @1: Dave is quiet.[(((triple7) -> rule1))]