The cow does not chase the mouse. The cow eats the tiger. The cow is round. The mouse chases the cow. The mouse chases the tiger. The mouse eats the cow. The mouse eats the tiger. The mouse is blue. The mouse is round. The mouse likes the tiger. The tiger chases the cow. The tiger chases the mouse. The tiger eats the cow. The tiger eats the mouse. The tiger is not round. The tiger does not like the mouse. If something is green then it does not chase the mouse. If something likes the tiger then it chases the tiger. If something likes the cow then it is red. If something likes the mouse then it does not eat the cow. If something eats the mouse then it likes the tiger. If something is red and it does not chase the mouse then the mouse eats the cow.
The tiger does not chase the tiger.
@0: The cow does not chase the mouse.[(triple1)] The cow eats the tiger.[(triple2)] The cow is round.[(triple3)] The mouse chases the cow.[(triple4)] The mouse chases the tiger.[(triple5 OR ((triple10) -> rule2))] The mouse eats the cow.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is blue.[(triple8)] The mouse is round.[(triple9)] The mouse likes the tiger.[(triple10)] The tiger chases the cow.[(triple11)] The tiger chases the mouse.[(triple12)] The tiger does not like the mouse.[(triple16)] The tiger eats the cow.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger is not round.[(triple15)] @1: The tiger likes the tiger.[(((triple14) -> rule5))] @2: The tiger chases the tiger.[(((((triple14) -> rule5)) -> rule2))]