Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is smart. All smart, green people are big. Nice people are smart.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple7 triple4) -> rule1) OR ((((triple6) -> rule2) triple4) -> rule1))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is nice.[(triple6)] Anne is smart.[(triple7 OR ((triple6) -> rule2))]