Anne is quiet. Anne is round. Anne is smart. Anne is young. Dave is blue. Dave is cold. Dave is round. Dave is smart. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Harry is blue. Harry is quiet. Harry is smart. If something is round then it is green. Green, smart things are young. Blue things are round. If something is young and smart then it is blue. All blue, cold things are quiet. If Fiona is quiet then Fiona is young.
Harry is not young.
@0: Anne is quiet.[(triple1)] Anne is round.[(triple2 OR ((((triple4 triple3) -> rule4)) -> rule3))] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((((triple2) -> rule1) triple3) -> rule2))] Dave is blue.[(triple5 OR ((((((triple7) -> rule1) triple8) -> rule2) triple8) -> rule4))] Dave is cold.[(triple6)] Dave is round.[(triple7 OR ((triple5) -> rule3))] Dave is smart.[(triple8)] Fiona is quiet.[(triple9)] Fiona is round.[(triple10 OR ((((triple12 triple11) -> rule4)) -> rule3) OR ((((((triple9) -> rule6) triple11) -> rule4)) -> rule3))] Fiona is smart.[(triple11)] Fiona is young.[(triple12 OR ((triple9) -> rule6) OR ((((triple10) -> rule1) triple11) -> rule2))] Harry is blue.[(triple13)] Harry is quiet.[(triple14)] Harry is smart.[(triple15)] @1: Anne is blue.[(((triple4 triple3) -> rule4) OR ((((((triple2) -> rule1) triple3) -> rule2) triple3) -> rule4))] Anne is green.[(((triple2) -> rule1) OR ((((((triple4 triple3) -> rule4)) -> rule3)) -> rule1))] Dave is green.[(((triple7) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Dave is quiet.[(((triple5 triple6) -> rule5) OR ((((((((triple7) -> rule1) triple8) -> rule2) triple8) -> rule4) triple6) -> rule5))] Fiona is blue.[(((triple12 triple11) -> rule4) OR ((((triple9) -> rule6) triple11) -> rule4) OR ((((((triple10) -> rule1) triple11) -> rule2) triple11) -> rule4))] Fiona is green.[(((triple10) -> rule1) OR ((((((triple12 triple11) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple9) -> rule6) triple11) -> rule4)) -> rule3)) -> rule1))] Harry is round.[(((triple13) -> rule3))] @2: Dave is young.[(((((triple7) -> rule1) triple8) -> rule2) OR ((((((triple5) -> rule3)) -> rule1) triple8) -> rule2))] Harry is green.[(((((triple13) -> rule3)) -> rule1))] @3: Harry is young.[(((((((triple13) -> rule3)) -> rule1) triple15) -> rule2))]