Anne is big. Anne is cold. Anne is not furry. Anne is not green. Anne is not round. Anne is white. Anne is young. If someone is white then they are cold. All young, round people are cold. If someone is green and not young then they are big. Furry people are white. Furry people are white. Green people are round.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple6) -> rule1))] Anne is not furry.[(triple3)] Anne is not green.[(triple4)] Anne is not round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]