The cat is cold. The cat is kind. The cat needs the cow. The cat visits the cow. The cat does not visit the squirrel. The cow eats the cat. The cow eats the squirrel. The cow is kind. The cow is round. The cow visits the cat. The cow visits the squirrel. The squirrel is kind. The squirrel is not young. The squirrel needs the cat. The squirrel needs the cow. The squirrel visits the cat. If the squirrel needs the cow and the squirrel is young then the squirrel does not need the cat. If the cat is kind then the cat is round. If the cat eats the cow and the cow is kind then the cow visits the squirrel. If something visits the cow and the cow needs the squirrel then it is cold. If something needs the cat and the cat is kind then it eats the cat. If something is cold and young then it does not need the squirrel.
The cow is rough.
@0: The cat does not visit the squirrel.[(triple5)] The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat needs the cow.[(triple3)] The cat visits the cow.[(triple4)] The cow eats the cat.[(triple6)] The cow eats the squirrel.[(triple7)] The cow is kind.[(triple8)] The cow is round.[(triple9)] The cow visits the cat.[(triple10)] The cow visits the squirrel.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is not young.[(triple13)] The squirrel needs the cat.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The cat is round.[(((triple2) -> rule2))] The squirrel eats the cat.[(((triple14 triple2) -> rule5))]