The cow chases the tiger. The cow eats the tiger. The cow is cold. The cow is kind. The cow is red. The cow is rough. The cow is young. The cow visits the tiger. The tiger is young. The tiger visits the cow. If someone eats the tiger and the tiger is kind then they chase the tiger. If someone visits the tiger then they do not eat the cow. If someone chases the cow and they are young then the cow chases the tiger. If someone chases the cow then they are not red. If someone is kind then they do not chase the cow. If someone is kind and they do not chase the tiger then the tiger eats the cow.
The tiger does not chase the tiger.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is cold.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is rough.[(triple6)] The cow is young.[(triple7)] The cow visits the tiger.[(triple8)] The tiger is young.[(triple9)] The tiger visits the cow.[(triple10)] @1: The cow does not chase the cow.[(((triple4) -> rule5))] The cow does not eat the cow.[(((triple8) -> rule2))]