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.
Anne is green.
@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)]