Anne is cold. Anne is furry. Anne is green. Anne is nice. Anne is quiet. Anne is round. Anne is young. If someone is young and green then they are cold. Nice, green people are furry.
Anne is not cold.
@0: Anne is cold.[(triple1 OR ((triple7 triple3) -> rule1))] Anne is furry.[(triple2 OR ((triple4 triple3) -> rule2))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)]