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