The cow eats the lion. The cow eats the rabbit. The cow is rough. The cow is not round. The cow does not visit the rabbit. The lion is not kind. The lion needs the rabbit. The lion visits the cow. The lion does not visit the rabbit. The rabbit eats the cow. The rabbit is big. The rabbit is green. The rabbit is rough. The rabbit does not need the cow. The rabbit visits the cow. If something visits the cow and it visits the rabbit then the rabbit does not need the cow. If something eats the lion and the lion visits the rabbit then the lion is kind. If something needs the lion and the lion is rough then it is round. If the rabbit visits the lion then the lion does not visit the cow. If the cow eats the lion and the lion needs the rabbit then the cow needs the rabbit. If something needs the lion and it does not eat the lion then the lion does not eat the rabbit.
The cow does not need the rabbit.
@0: The cow does not visit the rabbit.[(triple5)] The cow eats the lion.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is not round.[(triple4)] The cow is rough.[(triple3)] The lion does not visit the rabbit.[(triple9)] The lion is not kind.[(triple6)] The lion needs the rabbit.[(triple7)] The lion visits the cow.[(triple8)] The rabbit does not need the cow.[(triple14)] The rabbit eats the cow.[(triple10)] The rabbit is big.[(triple11)] The rabbit is green.[(triple12)] The rabbit is rough.[(triple13)] The rabbit visits the cow.[(triple15)] @1: The cow needs the rabbit.[(((triple1 triple7) -> rule5))]