Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is round. Anne is young. If Anne is kind then Anne is quiet. If Anne is quiet then Anne is round. All young, green people are red.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple3) -> rule1))] Anne is red.[(triple5 OR ((triple7 triple2) -> rule3))] Anne is round.[(triple6 OR ((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Anne is young.[(triple7)]