The cow eats the mouse. The cow eats the tiger. The cow is blue. The cow is cold. The cow is rough. The cow visits the mouse. The cow visits the tiger. The mouse is cold. The tiger eats the cow. The tiger is red. The tiger is rough. The tiger visits the mouse. If something visits the mouse then the mouse eats the tiger. If something eats the tiger then it eats the cow.
The cow does not visit the cow.
@0: The cow eats the mouse.[(triple1)] The cow eats the tiger.[(triple2)] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is rough.[(triple5)] The cow visits the mouse.[(triple6)] The cow visits the tiger.[(triple7)] The mouse is cold.[(triple8)] The tiger eats the cow.[(triple9)] The tiger is red.[(triple10)] The tiger is rough.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The cow eats the cow.[(((triple2) -> rule2))] The mouse eats the tiger.[(((triple12) -> rule1) OR ((triple6) -> rule1))] @2: The mouse eats the cow.[(((((triple12) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2))]