Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is rough. Anne is white. Anne is young. Green people are cold. If someone is white then they are green. Cold, big people are green.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Anne is furry.[(triple3)] Anne is green.[(triple4 OR ((triple6) -> rule2) OR ((triple2 triple1) -> rule3))] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]