Anne is not big. Anne is green. Anne is round. Round people are green. If someone is young then they are round. If someone is green then they are round. If Anne is not round and Anne is not young then Anne is not blue. If someone is blue and young then they are big. All young, big people are rough. If someone is round and not blue then they are quiet. If someone is green and not big then they are quiet.
Anne is round.
@0: Anne is green.[(triple2 OR ((triple3) -> rule1))] Anne is not big.[(triple1)] Anne is round.[(triple3 OR ((triple2) -> rule3))] @1: Anne is quiet.[(((triple2 triple1) -> rule8) OR ((((triple3) -> rule1) triple1) -> rule8))]