Anne is cold. Anne is green. Anne is rough. Fiona is green. Fiona is not smart. Fiona is white. Harry is nice. If Anne is white then Anne is not furry. If someone is furry and not green then they are not smart. If someone is rough then they are not smart.
Fiona is not furry.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Fiona is green.[(triple4)] Fiona is not smart.[(triple5)] Fiona is white.[(triple6)] Harry is nice.[(triple7)] @1: Anne is not smart.[(((triple3) -> rule3))]