Anne is smart. Big, white people are young. If someone is rough then they are white. All smart people are furry. All nice people are furry. If someone is white and furry then they are big. If Anne is nice then Anne is young. If someone is smart then they are young. If Anne is furry and Anne is smart then Anne is white.
Anne is not smart.
@0: Anne is smart.[(triple1)] @1: Anne is furry.[(((triple1) -> rule3))] Anne is young.[(((triple1) -> rule7) OR ((((((((triple1) -> rule3) triple1) -> rule8) ((triple1) -> rule3)) -> rule5) ((((triple1) -> rule3) triple1) -> rule8)) -> rule1))] @2: Anne is white.[(((((triple1) -> rule3) triple1) -> rule8))] @3: Anne is big.[(((((((triple1) -> rule3) triple1) -> rule8) ((triple1) -> rule3)) -> rule5))]