The cat needs the squirrel. The cat does not visit the cow. The cat visits the squirrel. The cow is cold. The cow is rough. The cow sees the squirrel. The cow visits the squirrel. The squirrel is rough. The squirrel needs the cow. The squirrel sees the cat. The squirrel sees the cow. The squirrel visits the cat. If the cat visits the cow and the cow does not need the squirrel then the squirrel does not see the cat. If someone sees the cat then they need the cat. If someone is green then they are not rough. If someone is cold and they see the cat then they do not see the cow. If the cat is kind then the cat needs the squirrel. If someone is green then they visit the squirrel. If someone is green then they see the cat. If someone needs the cat and the cat needs the cow then the cow needs the cat.
The cow sees the cow.
@0: The cat does not visit the cow.[(triple2)] The cat needs the squirrel.[(triple1)] The cat visits the squirrel.[(triple3)] The cow is cold.[(triple4)] The cow is rough.[(triple5)] The cow sees the squirrel.[(triple6)] The cow visits the squirrel.[(triple7)] The squirrel is rough.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel sees the cat.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The squirrel needs the cat.[(((triple10) -> rule2))]