Anne is red. Dave is not red. Dave is smart. Erin is blue. Erin is green. Erin is red. Erin is round. Harry is not kind. Harry is quiet. Harry is not red. Harry is round. Harry is smart. If someone is blue and red then they are green. If Erin is kind and Erin is not red then Erin is not green. If someone is blue and not green then they are smart. Kind people are not smart. If someone is smart then they are quiet. If someone is smart and not round then they are quiet. If someone is kind and not red then they are quiet. If someone is round and not kind then they are quiet.
Harry is kind.
@0: Anne is red.[(triple1)] Dave is not red.[(triple2)] Dave is smart.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5 OR ((triple4 triple6) -> rule1))] Erin is red.[(triple6)] Erin is round.[(triple7)] Harry is not kind.[(triple8)] Harry is not red.[(triple10)] Harry is quiet.[(triple9 OR ((triple12) -> rule5) OR ((triple11 triple8) -> rule8))] Harry is round.[(triple11)] Harry is smart.[(triple12)] @1: Dave is quiet.[(((triple3) -> rule5))]