The bear likes the dog. The cow sees the dog. The dog needs the cow. The rabbit needs the cow. If someone likes the bear then they do not like the dog. If someone is round and big then they do not like the bear. If someone is red then they need the dog. If the dog needs the cow then the dog does not need the rabbit. If the dog is not red then the dog needs the rabbit. If someone likes the bear and the bear does not see the dog then the bear is not red. If someone needs the dog and they are round then the dog does not like the bear. If someone sees the dog then the dog sees the cow.
The dog does not need the cow.
@0: The bear likes the dog.[(triple1)] The cow sees the dog.[(triple2)] The dog needs the cow.[(triple3)] The rabbit needs the cow.[(triple4)] @1: The dog does not need the rabbit.[(((triple3) -> rule4))] The dog sees the cow.[(((triple2) -> rule8))]