Anne is big. Anne is not furry. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is round. All kind, round people are nice. If someone is furry and quiet then they are kind. If Anne is kind then Anne is quiet.
Anne is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple4 triple7) -> rule1))] Anne is not furry.[(triple2)] Anne is quiet.[(triple6 OR ((triple4) -> rule3))] Anne is round.[(triple7)]