The cow is blue. The cow likes the tiger. The dog is young. The dog likes the cow. The dog needs the cow. The mouse eats the tiger. The mouse is blue. The tiger is green. The tiger is red. The tiger likes the mouse. If the tiger needs the dog and the tiger needs the mouse then the mouse eats the dog. If someone likes the dog then they are green. If someone eats the dog and they need the dog then they are cold. If the mouse needs the dog then the mouse likes the dog. If the mouse eats the dog and the dog needs the mouse then the mouse is young. If someone eats the tiger then they like the tiger.
The mouse eats the tiger.
@0: The cow is blue.[(triple1)] The cow likes the tiger.[(triple2)] The dog is young.[(triple3)] The dog likes the cow.[(triple4)] The dog needs the cow.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is blue.[(triple7)] The tiger is green.[(triple8)] The tiger is red.[(triple9)] The tiger likes the mouse.[(triple10)] @1: The mouse likes the tiger.[(((triple6) -> rule6))]