Anne is not green. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is not white. Anne is not young. If Anne is round and Anne is young then Anne is kind. If Anne is young then Anne is white. If Anne is kind and Anne is nice then Anne is not white. If Anne is young then Anne is not white. All young, white people are nice. If Anne is round and Anne is kind then Anne is rough. If someone is white and round then they are green. If someone is nice and not white then they are not green.
Anne is not young.
@0: Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is not green.[(triple1 OR ((triple3 triple6) -> rule8) OR ((triple3 ((triple2 triple3) -> rule3)) -> rule8))] Anne is not white.[(triple6 OR ((triple2 triple3) -> rule3))] Anne is not young.[(triple7)] Anne is rough.[(triple4 OR ((triple5 triple2) -> rule6))] Anne is round.[(triple5)]