The cow chases the tiger. The cow is green. The lion is not round. The lion likes the tiger. The tiger does not chase the cow. The tiger chases the lion. The tiger eats the lion. The tiger is red. The tiger is round. The tiger likes the cow. If the cow eats the tiger and the cow is rough then the cow chases the tiger. If someone likes the tiger then they are green.
The cow does not chase the tiger.
@0: The cow chases the tiger.[(triple1)] The cow is green.[(triple2)] The lion is not round.[(triple3)] The lion likes the tiger.[(triple4)] The tiger chases the lion.[(triple6)] The tiger does not chase the cow.[(triple5)] The tiger eats the lion.[(triple7)] The tiger is red.[(triple8)] The tiger is round.[(triple9)] The tiger likes the cow.[(triple10)] @1: The lion is green.[(((triple4) -> rule2))]