The cow eats the dog. The cow is round. The dog is kind. The dog does not need the rabbit. The lion is round. The lion needs the dog. The lion needs the rabbit. The rabbit is big. The rabbit is blue. The rabbit does not need the cow. If something needs the dog then the dog eats the lion.
The dog does not need the lion.
@0: The cow eats the dog.[(triple1)] The cow is round.[(triple2)] The dog does not need the rabbit.[(triple4)] The dog is kind.[(triple3)] The lion is round.[(triple5)] The lion needs the dog.[(triple6)] The lion needs the rabbit.[(triple7)] The rabbit does not need the cow.[(triple10)] The rabbit is big.[(triple8)] The rabbit is blue.[(triple9)] @1: The dog eats the lion.[(((triple6) -> rule1))]