Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is smart. Anne is young. All cold, big people are blue. Young, cold people are blue.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3 triple1) -> rule1) OR ((triple7 triple3) -> rule2))] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)]