Anne is rough. Anne is white. Dave is cold. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is white. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is white. If something is white then it is quiet.
Fiona is red.
@0: Anne is rough.[(triple1)] Anne is white.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is rough.[(triple11)] Fiona is white.[(triple12)] @1: Anne is quiet.[(((triple2) -> rule1))] Dave is quiet.[(((triple8) -> rule1))] Fiona is quiet.[(((triple12) -> rule1))]