The cat is not nice. The cat is round. The cat likes the dog. The cat likes the squirrel. The cat visits the dog. The cow does not visit the dog. The dog eats the cow. The squirrel is big. The squirrel is kind. The squirrel is round. If something is blue and it does not eat the cat then it likes the cat. If something visits the dog and it is big then it visits the cow. If something eats the dog and it is not blue then the dog does not visit the cow. If something eats the cat then it does not eat the cow. If something is big then it eats the cow. If something is big and it likes the dog then the dog is not big. If something eats the cow and it is kind then it does not eat the dog. If the squirrel eats the cow and the squirrel visits the cat then the squirrel does not visit the dog.
The squirrel eats the cow.
@0: The cat is not nice.[(triple1)] The cat is round.[(triple2)] The cat likes the dog.[(triple3)] The cat likes the squirrel.[(triple4)] The cat visits the dog.[(triple5)] The cow does not visit the dog.[(triple6)] The dog eats the cow.[(triple7)] The squirrel is big.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is round.[(triple10)] @1: The squirrel eats the cow.[(((triple8) -> rule5))] @2: The squirrel does not eat the dog.[(((((triple8) -> rule5) triple9) -> rule7))]