Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is smart. Fiona is cold. Fiona is green. If Fiona is cold then Fiona is big.
Fiona is not white.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is smart.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] @1: Fiona is big.[(((triple6) -> rule1))]