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