The cow is blue. The cow needs the lion. The dog eats the cow. The dog needs the rabbit. The lion does not eat the dog. The lion eats the rabbit. The lion visits the rabbit. The rabbit is not green. The rabbit is kind. The rabbit visits the cow. If something eats the lion then it visits the rabbit. If something is blue and it needs the dog then the dog eats the cow. If something eats the dog then it does not visit the lion. All kind things are rough. If something is rough then it does not eat the rabbit. If something is rough and it does not visit the lion then it is not kind. If something eats the rabbit and it eats the dog then the dog is big. If the lion is kind and the lion needs the dog then the lion visits the dog.
The cow does not visit the rabbit.
@0: The cow is blue.[(triple1)] The cow needs the lion.[(triple2)] The dog eats the cow.[(triple3)] The dog needs the rabbit.[(triple4)] The lion does not eat the dog.[(triple5)] The lion eats the rabbit.[(triple6)] The lion visits the rabbit.[(triple7)] The rabbit is kind.[(triple9)] The rabbit is not green.[(triple8)] The rabbit visits the cow.[(triple10)] @1: The rabbit is rough.[(((triple9) -> rule4))] @2: The rabbit does not eat the rabbit.[(((((triple9) -> rule4)) -> rule5))]