Anne is not big. Anne is cold. Anne is furry. Anne is not rough. Anne is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is white. If Anne is smart and Anne is not white then Anne is rough. If something is white then it is quiet. If something is smart and not big then it is cold.
Anne is not rough.
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not big.[(triple1)] Anne is not rough.[(triple4)] Anne is white.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is quiet.[(triple9 OR ((triple12) -> rule2))] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Anne is quiet.[(((triple5) -> rule2))]