Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is white. Anne is young. If something is kind then it is furry. All furry things are smart. If Anne is not young then Anne is smart. If something is smart and not furry then it is not green. All green things are big. All big, kind things are white. If something is young then it is white. If something is big and not kind then it is white.
Anne is green.
@0: Anne is big.[(triple1 OR ((triple3) -> rule5))] Anne is furry.[(triple2 OR ((triple4) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is smart.[(triple5 OR ((triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Anne is white.[(triple6 OR ((triple7) -> rule7) OR ((triple1 triple4) -> rule6) OR ((((triple3) -> rule5) triple4) -> rule6))] Anne is young.[(triple7)]