Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is round. Anne is young. If Anne is round and Anne is big then Anne is furry.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple6 triple1) -> rule1))] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)]