The lion eats the tiger. The lion likes the mouse. The lion likes the tiger. The lion sees the tiger. The mouse is blue. The mouse is red. The mouse sees the lion. The tiger is blue. The tiger likes the lion. The tiger sees the mouse. If someone eats the tiger and they like the tiger then the tiger likes the mouse.
The lion does not eat the tiger.
@0: The lion eats the tiger.[(triple1)] The lion likes the mouse.[(triple2)] The lion likes the tiger.[(triple3)] The lion sees the tiger.[(triple4)] The mouse is blue.[(triple5)] The mouse is red.[(triple6)] The mouse sees the lion.[(triple7)] The tiger is blue.[(triple8)] The tiger likes the lion.[(triple9)] The tiger sees the mouse.[(triple10)] @1: The tiger likes the mouse.[(((triple1 triple3) -> rule1))]