The cat needs the cow. The cat needs the tiger. The cow is kind. The squirrel does not need the cat. The squirrel does not visit the tiger. The tiger needs the squirrel. The tiger visits the cat. If someone likes the cat then the cat likes the squirrel. If someone needs the cow then they do not visit the cow. If someone is round then they do not need the cow.
The cat does not like the squirrel.
@0: The cat needs the cow.[(triple1)] The cat needs the tiger.[(triple2)] The cow is kind.[(triple3)] The squirrel does not need the cat.[(triple4)] The squirrel does not visit the tiger.[(triple5)] The tiger needs the squirrel.[(triple6)] The tiger visits the cat.[(triple7)] @1: The cat does not visit the cow.[(((triple1) -> rule2))]