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