Anne is nice. Anne is rough. Anne is smart. Dave is quiet. Erin is rough. Harry is nice. Harry is smart. If someone is smart then they are not quiet. If someone is smart and not quiet then they are rough.
Dave is not young.
@0: Anne is nice.[(triple1)] Anne is rough.[(triple2 OR ((triple3 ((triple3) -> rule1)) -> rule2))] Anne is smart.[(triple3)] Dave is quiet.[(triple4)] Erin is rough.[(triple5)] Harry is nice.[(triple6)] Harry is smart.[(triple7)] @1: Anne is not quiet.[(((triple3) -> rule1))] Harry is not quiet.[(((triple7) -> rule1))] @2: Harry is rough.[(((triple7 ((triple7) -> rule1)) -> rule2))]