Anne is blue. Anne is nice. Anne is quiet. Anne is round. Charlie is big. Charlie is not blue. Charlie is not green. Charlie is nice. Charlie is not round. Charlie is young. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is not quiet. Harry is young. All blue, nice things are round. All blue, young things are green. Quiet, nice things are young.
Anne is green.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple1 triple2) -> rule1))] Charlie is big.[(triple5)] Charlie is nice.[(triple8)] Charlie is not blue.[(triple6)] Charlie is not green.[(triple7)] Charlie is not round.[(triple9)] Charlie is young.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13 OR ((triple12 triple16) -> rule2))] Harry is nice.[(triple14)] Harry is not quiet.[(triple15)] Harry is young.[(triple16)] @1: Anne is young.[(((triple3 triple2) -> rule3))] Harry is round.[(((triple12 triple14) -> rule1))] @2: Anne is green.[(((triple1 ((triple3 triple2) -> rule3)) -> rule2))]