The cow likes the mouse. The lion eats the mouse. The mouse eats the tiger. The tiger is kind. If something is big and it eats the cow then it eats the lion. If something is rough then it likes the cow. If something likes the cow and it chases the mouse then the mouse is green. If something is rough then it eats the cow. If something likes the tiger and it is blue then it likes the mouse. If something likes the mouse then it eats the lion.
The mouse eats the cow.
@0: The cow likes the mouse.[(triple1)] The lion eats the mouse.[(triple2)] The mouse eats the tiger.[(triple3)] The tiger is kind.[(triple4)] @1: The cow eats the lion.[(((triple1) -> rule6))]