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