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