The cow eats the tiger. The cow is rough. The cow does not like the tiger. The tiger eats the cow. The tiger is nice. The tiger is round. The tiger visits the cow. If someone eats the tiger and the tiger is not nice then the tiger does not eat the cow. If the cow is green then the cow likes the tiger. If the tiger is nice then the tiger likes the cow.
The tiger does not visit the cow.
@0: The cow does not like the tiger.[(triple3)] The cow eats the tiger.[(triple1)] The cow is rough.[(triple2)] The tiger eats the cow.[(triple4)] The tiger is nice.[(triple5)] The tiger is round.[(triple6)] The tiger visits the cow.[(triple7)] @1: The tiger likes the cow.[(((triple5) -> rule3))]