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