Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is white. Anne is young. All green people are cold. All red, cold people are furry.
Anne is round.
@0: Anne is cold.[(triple1 OR ((triple3) -> rule1))] Anne is furry.[(triple2 OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple3) -> rule1)) -> rule2))] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]