The cat does not like the lion. The cat likes the squirrel. The cat does not visit the cow. The cat visits the squirrel. The cow is big. The cow is nice. The cow does not like the squirrel. The cow needs the squirrel. The cow visits the cat. The lion is kind. The lion is not young. The lion needs the cow. The lion visits the cow. The squirrel is green. The squirrel needs the cow. If the lion visits the cat then the cat visits the squirrel. If something likes the squirrel and the squirrel likes the cow then it likes the lion. If something visits the cat then it likes the lion. If the cat likes the lion then the lion visits the cow. If something needs the lion then the lion visits the squirrel. If something needs the lion then it is kind. If something needs the squirrel and it needs the cat then the squirrel is not kind. If something is young and it does not like the lion then it needs the cat.
The lion does not visit the cow.
@0: The cat does not like the lion.[(triple1)] The cat does not visit the cow.[(triple3)] The cat likes the squirrel.[(triple2)] The cat visits the squirrel.[(triple4)] The cow does not like the squirrel.[(triple7)] The cow is big.[(triple5)] The cow is nice.[(triple6)] The cow needs the squirrel.[(triple8)] The cow visits the cat.[(triple9)] The lion is kind.[(triple10)] The lion is not young.[(triple11)] The lion needs the cow.[(triple12)] The lion visits the cow.[(triple13)] The squirrel is green.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The cow likes the lion.[(((triple9) -> rule3))]