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