Anne is furry. Anne is smart. Anne is young. Dave is not furry. Dave is green. Dave is not quiet. Dave is not young. Erin is rough. Harry is blue. Harry is furry. All rough, quiet things are young. If something is young then it is not blue. All rough things are quiet.
Erin is not rough.
@0: Anne is furry.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Dave is green.[(triple5)] Dave is not furry.[(triple4)] Dave is not quiet.[(triple6)] Dave is not young.[(triple7)] Erin is rough.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] @1: Anne is not blue.[(((triple3) -> rule2))] Erin is quiet.[(((triple8) -> rule3))] @2: Erin is young.[(((triple8 ((triple8) -> rule3)) -> rule1))] @3: Erin is not blue.[(((((triple8 ((triple8) -> rule3)) -> rule1)) -> rule2))]