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 not 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)]