Anne is big. Anne is cold. Anne is not young. If someone is big then they are kind. Cold, red people are not green.
Anne is green.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not young.[(triple3)] @1: Anne is kind.[(((triple1) -> rule1))]