Anne is quiet. Anne is young. Dave is furry. Dave is red. Dave is round. Dave is young. Harry is red. Harry is rough. Harry is round. Harry is young. Young people are round. If someone is furry and rough then they are quiet. If someone is quiet then they are red.
Harry is not quiet.
@0: Anne is quiet.[(triple1)] Anne is young.[(triple2)] Dave is furry.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5 OR ((triple6) -> rule1))] Dave is young.[(triple6)] Harry is red.[(triple7)] Harry is rough.[(triple8)] Harry is round.[(triple9 OR ((triple10) -> rule1))] Harry is young.[(triple10)] @1: Anne is red.[(((triple1) -> rule3))] Anne is round.[(((triple2) -> rule1))]