Anne is furry. Anne is rough. Dave is cold. Dave is furry. Dave is red. Erin is furry. Fiona is not cold. Fiona is furry. Fiona is red. Fiona is rough. Fiona is white. Fiona is young. If Dave is furry and Dave is not rough then Dave is cold. All rough things are not quiet.
Anne is not cold.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is red.[(triple5)] Erin is furry.[(triple6)] Fiona is furry.[(triple8)] Fiona is not cold.[(triple7)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Anne is not quiet.[(((triple2) -> rule2))] Fiona is not quiet.[(((triple10) -> rule2))]