Anne is cold. Anne is not green. Anne is nice. Anne is rough. Anne is round. Anne is white. Anne is young. If Anne is nice and Anne is young then Anne is round. Young people are white. If someone is cold and not young then they are round.
Anne is not round.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple3)] Anne is not green.[(triple2)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple3 triple7) -> rule1))] Anne is white.[(triple6 OR ((triple7) -> rule2))] Anne is young.[(triple7)]