Anne is cold. Anne is furry. Anne is not green. Anne is red. Anne is smart. Fiona is big. Fiona is green. Smart things are not green.
Fiona is not smart.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not green.[(triple3 OR ((triple5) -> rule1))] Anne is red.[(triple4)] Anne is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is green.[(triple7)]