Anne is big. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is white. Anne is young. If someone is young then they are green. Red people are kind. If someone is round then they are green.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple5) -> rule3) OR ((triple7) -> rule1))] Anne is kind.[(triple3 OR ((triple4) -> rule2))] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)]