Arthur is a bird. Arthur is not wounded. Bill is an ostrich. Colin is a bird. Colin is wounded. Dave is not an ostrich. Dave is wounded. If someone is an ostrich then they are a bird. If someone is an ostrich then they are abnormal. If someone is an ostrich then they cannot fly. If someone is a bird and wounded then they are abnormal. If someone is wounded then they cannot fly. If someone is a bird and not abnormal then they can fly.
Dave is wounded.
@0: Arthur is a bird.[(triple1)] Arthur is not wounded.[(triple2)] Bill is an ostrich.[(triple3)] Colin is a bird.[(triple4)] Colin is wounded.[(triple5)] Dave is not an ostrich.[(triple6)] Dave is wounded.[(triple7)] @1: Bill cannot fly.[(((triple3) -> rule3))] Bill is a bird.[(((triple3) -> rule1))] Bill is abnormal.[(((triple3) -> rule2))] Colin cannot fly.[(((triple5) -> rule5))] Colin is abnormal.[(((triple4 triple5) -> rule4))] Dave cannot fly.[(((triple7) -> rule5))]