Anne is blue. Anne is nice. Anne is round. Dave is blue. Dave is nice. Dave is quiet. Fiona is kind. Fiona is smart. Harry is blue. Harry is kind. Harry is quiet. Harry is round. Nice, smart people are white. If someone is kind and nice then they are smart. Quiet people are nice. All round people are kind. If Harry is smart then Harry is white. If Harry is blue and Harry is quiet then Harry is smart.
Anne is quiet.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3)] Dave is blue.[(triple4)] Dave is nice.[(triple5 OR ((triple6) -> rule3))] Dave is quiet.[(triple6)] Fiona is kind.[(triple7)] Fiona is smart.[(triple8)] Harry is blue.[(triple9)] Harry is kind.[(triple10 OR ((triple12) -> rule4))] Harry is quiet.[(triple11)] Harry is round.[(triple12)] @1: Anne is kind.[(((triple3) -> rule4))] Harry is nice.[(((triple11) -> rule3))] Harry is smart.[(((triple9 triple11) -> rule6) OR ((triple10 ((triple11) -> rule3)) -> rule2) OR ((((triple12) -> rule4) ((triple11) -> rule3)) -> rule2))] @2: Anne is smart.[(((((triple3) -> rule4) triple2) -> rule2))] Harry is white.[(((((triple9 triple11) -> rule6)) -> rule5) OR ((((triple11) -> rule3) ((triple9 triple11) -> rule6)) -> rule1) OR ((((triple10 ((triple11) -> rule3)) -> rule2)) -> rule5) OR ((((((triple12) -> rule4) ((triple11) -> rule3)) -> rule2)) -> rule5) OR ((((triple11) -> rule3) ((triple10 ((triple11) -> rule3)) -> rule2)) -> rule1) OR ((((triple11) -> rule3) ((((triple12) -> rule4) ((triple11) -> rule3)) -> rule2)) -> rule1))] @3: Anne is white.[(((triple2 ((((triple3) -> rule4) triple2) -> rule2)) -> rule1))]