Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is white. Anne is young. All kind people are big. Furry people are kind. If someone is kind then they are furry.
Anne is not big.
@0: Anne is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] Anne is furry.[(triple2 OR ((triple4) -> rule3))] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple2) -> rule2))] Anne is nice.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]