The bear needs the dog. The cow is kind. The cow is nice. The cow likes the dog. The cow needs the dog. The dog chases the rabbit. The dog likes the bear. The dog likes the rabbit. The rabbit chases the bear. The rabbit chases the cow. The rabbit is blue. The rabbit is kind. The rabbit likes the cow. The rabbit needs the dog. If someone needs the rabbit then the rabbit likes the bear. If someone needs the rabbit and they chase the dog then they need the bear. If someone is kind then they like the dog. If someone likes the bear and they are blue then they chase the rabbit. If the rabbit likes the dog then the dog is kind. If someone chases the dog then the dog likes the cow. If someone likes the dog then they are round. If the rabbit likes the dog and the rabbit chases the cow then the dog likes the cow. If someone needs the dog and the dog is kind then the dog needs the rabbit.
The dog does not chase the bear.
@0: The bear needs the dog.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow likes the dog.[(triple4 OR ((triple2) -> rule3))] The cow needs the dog.[(triple5)] The dog chases the rabbit.[(triple6)] The dog likes the bear.[(triple7)] The dog likes the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit chases the cow.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is kind.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the dog.[(triple14)] @1: The cow is round.[(((triple4) -> rule7) OR ((((triple2) -> rule3)) -> rule7))] The rabbit likes the dog.[(((triple12) -> rule3))] @2: The dog is kind.[(((((triple12) -> rule3)) -> rule5))] The dog likes the cow.[(((((triple12) -> rule3) triple10) -> rule8))] The rabbit is round.[(((((triple12) -> rule3)) -> rule7))] @3: The dog likes the dog.[(((((((triple12) -> rule3)) -> rule5)) -> rule3))] The dog needs the rabbit.[(((triple1 ((((triple12) -> rule3)) -> rule5)) -> rule9) OR ((triple14 ((((triple12) -> rule3)) -> rule5)) -> rule9) OR ((triple5 ((((triple12) -> rule3)) -> rule5)) -> rule9))] @4: The dog is round.[(((((((((triple12) -> rule3)) -> rule5)) -> rule3)) -> rule7))] The rabbit likes the bear.[(((((triple1 ((((triple12) -> rule3)) -> rule5)) -> rule9)) -> rule1) OR ((((triple14 ((((triple12) -> rule3)) -> rule5)) -> rule9)) -> rule1) OR ((((triple5 ((((triple12) -> rule3)) -> rule5)) -> rule9)) -> rule1))] @5: The rabbit chases the rabbit.[(((((((triple1 ((((triple12) -> rule3)) -> rule5)) -> rule9)) -> rule1) triple11) -> rule4) OR ((((((triple14 ((((triple12) -> rule3)) -> rule5)) -> rule9)) -> rule1) triple11) -> rule4) OR ((((((triple5 ((((triple12) -> rule3)) -> rule5)) -> rule9)) -> rule1) triple11) -> rule4))]