Anne is big. Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is young. All big, young people are cold.
Anne is green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple1 triple7) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is red.[(triple6)] Anne is young.[(triple7)]