Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is white. Anne is young. Round, white things are red. All red things are young. If something is furry and cold then it is green.
Anne is young.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple2 triple1) -> rule3))] Anne is red.[(triple4 OR ((triple5 triple6) -> rule1))] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple4) -> rule2) OR ((((triple5 triple6) -> rule1)) -> rule2))]