The cow eats the mouse. The cow does not eat the tiger. The cow visits the tiger. The mouse eats the cow. The mouse eats the tiger. The mouse is nice. The mouse sees the cow. The tiger eats the cow. The tiger eats the mouse. The tiger is red. The tiger is rough. The tiger visits the mouse. If someone sees the cow and the cow is not rough then they are green. If someone is rough and they see the tiger then they eat the mouse. If someone visits the tiger then the tiger sees the mouse.
The cow does not visit the tiger.
@0: The cow does not eat the tiger.[(triple2)] The cow eats the mouse.[(triple1)] The cow visits the tiger.[(triple3)] The mouse eats the cow.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse is nice.[(triple6)] The mouse sees the cow.[(triple7)] The tiger eats the cow.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The tiger sees the mouse.[(((triple3) -> rule3))]