Anne is blue. Anne is green. Anne is kind. Anne is round. Anne is smart. Dave is kind. Dave is smart. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is round. Erin is white. Harry is blue. Harry is green. Harry is smart. All blue, round people are white. If someone is blue and smart then they are round.
Dave is not round.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is round.[(triple4 OR ((triple1 triple5) -> rule2))] Anne is smart.[(triple5)] Dave is kind.[(triple6)] Dave is smart.[(triple7)] Erin is blue.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is quiet.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13 OR ((triple8 triple12) -> rule1))] Harry is blue.[(triple14)] Harry is green.[(triple15)] Harry is smart.[(triple16)] @1: Anne is white.[(((triple1 triple4) -> rule1) OR ((triple1 ((triple1 triple5) -> rule2)) -> rule1))] Harry is round.[(((triple14 triple16) -> rule2))] @2: Harry is white.[(((triple14 ((triple14 triple16) -> rule2)) -> rule1))]