Anne is furry. Anne is red. Anne is rough. Dave is quiet. Dave is red. Fiona is furry. Fiona is quiet. Fiona is smart. Harry is quiet. Harry is not red. If someone is rough and not smart then they are furry. If someone is rough then they are not quiet.
Harry is not quiet.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Fiona is furry.[(triple6)] Fiona is quiet.[(triple7)] Fiona is smart.[(triple8)] Harry is not red.[(triple10)] Harry is quiet.[(triple9)] @1: Anne is not quiet.[(((triple3) -> rule2))]