The cat eats the cow. The cat eats the tiger. The cat is big. The cow does not eat the cat. The cow eats the mouse. The cow likes the cat. The cow likes the mouse. The mouse eats the cat. The mouse eats the tiger. The mouse is big. The mouse is red. The mouse likes the cat. The mouse sees the cow. The tiger eats the mouse. The tiger is red. The tiger likes the cat. If the cow is not young then the cow is nice. If something likes the cat then the cat eats the mouse.
The cat does not eat the tiger.
@0: The cat eats the cow.[(triple1)] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cow does not eat the cat.[(triple4)] The cow eats the mouse.[(triple5)] The cow likes the cat.[(triple6)] The cow likes the mouse.[(triple7)] The mouse eats the cat.[(triple8)] The mouse eats the tiger.[(triple9)] The mouse is big.[(triple10)] The mouse is red.[(triple11)] The mouse likes the cat.[(triple12)] The mouse sees the cow.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger is red.[(triple15)] The tiger likes the cat.[(triple16)] @1: The cat eats the mouse.[(((triple12) -> rule2) OR ((triple16) -> rule2) OR ((triple6) -> rule2))]