The cat eats the squirrel. The cat visits the cow. The cat visits the tiger. The cow does not chase the tiger. The cow is big. The squirrel eats the cat. The squirrel is young. The squirrel visits the cat. The squirrel does not visit the cow. The tiger is big. The tiger is cold. The tiger is young. If the tiger eats the cat then the cat is young. If something chases the cat then the cat visits the tiger. If something visits the cow and the cow does not chase the cat then the cow visits the squirrel. If something is kind and not cold then it does not chase the cow. If something visits the tiger then the tiger chases the cow. If something is kind and big then it eats the cat. If something eats the squirrel then it does not chase the tiger. If something eats the squirrel then the squirrel chases the cow.
The cow is nice.
@0: The cat eats the squirrel.[(triple1)] The cat visits the cow.[(triple2)] The cat visits the tiger.[(triple3)] The cow does not chase the tiger.[(triple4)] The cow is big.[(triple5)] The squirrel does not visit the cow.[(triple9)] The squirrel eats the cat.[(triple6)] The squirrel is young.[(triple7)] The squirrel visits the cat.[(triple8)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is young.[(triple12)] @1: The cat does not chase the tiger.[(((triple1) -> rule7))] The squirrel chases the cow.[(((triple1) -> rule8))] The tiger chases the cow.[(((triple3) -> rule5))]