Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Anne is white. Anne is young. If Anne is nice then Anne is young. If Anne is round and Anne is kind then Anne is white. If Anne is quiet then Anne is rough. If Anne is quiet then Anne is young. Quiet people are nice. White, quiet people are nice.
Anne is not round.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule5) OR ((triple6 triple3) -> rule6) OR ((((triple5 triple1) -> rule2) triple3) -> rule6))] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule3))] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple5 triple1) -> rule2))] Anne is young.[(triple7 OR ((triple2) -> rule1) OR ((triple3) -> rule4) OR ((((triple3) -> rule5)) -> rule1) OR ((((triple6 triple3) -> rule6)) -> rule1) OR ((((((triple5 triple1) -> rule2) triple3) -> rule6)) -> rule1))]