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