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