Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is smart. Anne is white. Kind, white people are big. Quiet people are big. If Anne is kind then Anne is big. If Anne is not quiet then Anne is not white. If Anne is quiet then Anne is white. If someone is kind and not green then they are furry. If someone is white and big then they are kind. If someone is smart and kind then they are white.
Anne is furry.
@0: Anne is big.[(triple1 OR ((triple4) -> rule3) OR ((triple5) -> rule2) OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple5) -> rule5)) -> rule1) OR ((triple4 ((triple6 triple4) -> rule8)) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4 OR ((triple7 triple1) -> rule7) OR ((triple7 ((triple5) -> rule2)) -> rule7) OR ((((triple5) -> rule5) triple1) -> rule7) OR ((((triple5) -> rule5) ((triple5) -> rule2)) -> rule7))] Anne is quiet.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple5) -> rule5) OR ((triple6 triple4) -> rule8))]