The cat likes the cow. The cow chases the tiger. The cow eats the tiger. The mouse chases the cat. The mouse chases the tiger. The mouse is round. The tiger chases the cat. The tiger eats the cat. The tiger is green. The tiger does not like the cow. If the cow chases the tiger then the cow does not eat the cat. If someone is green and not big then they eat the mouse. If the tiger chases the mouse then the tiger likes the cow.
The cow does not eat the cat.
@0: The cat likes the cow.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The mouse chases the cat.[(triple4)] The mouse chases the tiger.[(triple5)] The mouse is round.[(triple6)] The tiger chases the cat.[(triple7)] The tiger does not like the cow.[(triple10)] The tiger eats the cat.[(triple8)] The tiger is green.[(triple9)] @1: The cow does not eat the cat.[(((triple2) -> rule1))]