The cow sees the mouse. The mouse eats the cow. The mouse visits the cow. The mouse visits the tiger. The tiger eats the cow. The tiger eats the mouse. The tiger is green. The tiger is rough. The tiger sees the mouse. The tiger does not visit the cow. If someone eats the tiger and they see the mouse then the tiger visits the cow.
The cow visits the tiger.
@0: The cow sees the mouse.[(triple1)] The mouse eats the cow.[(triple2)] The mouse visits the cow.[(triple3)] The mouse visits the tiger.[(triple4)] The tiger does not visit the cow.[(triple10)] The tiger eats the cow.[(triple5)] The tiger eats the mouse.[(triple6)] The tiger is green.[(triple7)] The tiger is rough.[(triple8)] The tiger sees the mouse.[(triple9)]