The cow does not eat the squirrel. The cow eats the tiger. The cow is green. The cow is young. The cow needs the squirrel. The dog chases the cow. The dog needs the cow. The dog needs the tiger. The squirrel is big. The squirrel is not young. The tiger chases the squirrel. The tiger does not eat the cow. The tiger eats the dog. The tiger eats the squirrel. The tiger is red. The tiger is young. If something chases the tiger then the tiger chases the squirrel. If the cow is green then the cow is not big. If something is big then it needs the cow.
The squirrel is not young.
@0: The cow does not eat the squirrel.[(triple1)] The cow eats the tiger.[(triple2)] The cow is green.[(triple3)] The cow is young.[(triple4)] The cow needs the squirrel.[(triple5)] The dog chases the cow.[(triple6)] The dog needs the cow.[(triple7)] The dog needs the tiger.[(triple8)] The squirrel is big.[(triple9)] The squirrel is not young.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger does not eat the cow.[(triple12)] The tiger eats the dog.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is red.[(triple15)] The tiger is young.[(triple16)] @1: The cow is not big.[(((triple3) -> rule2))] The squirrel needs the cow.[(((triple9) -> rule3))]