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