The cat is nice. The cat likes the cow. The cat needs the lion. The cat needs the tiger. The cat visits the lion. The cat visits the tiger. The cow is big. The cow is young. The cow needs the cat. The cow needs the lion. The cow does not need the tiger. The lion is young. The lion likes the cat. The lion does not need the cat. The tiger is round. If someone visits the lion and they are not young then they need the tiger. If someone is round then they do not visit the tiger.
The cat likes the cow.
@0: The cat is nice.[(triple1)] The cat likes the cow.[(triple2)] The cat needs the lion.[(triple3)] The cat needs the tiger.[(triple4)] The cat visits the lion.[(triple5)] The cat visits the tiger.[(triple6)] The cow does not need the tiger.[(triple11)] The cow is big.[(triple7)] The cow is young.[(triple8)] The cow needs the cat.[(triple9)] The cow needs the lion.[(triple10)] The lion does not need the cat.[(triple14)] The lion is young.[(triple12)] The lion likes the cat.[(triple13)] The tiger is round.[(triple15)] @1: The tiger does not visit the tiger.[(((triple15) -> rule2))]