The lion eats the mouse. The lion likes the mouse. The lion likes the tiger. The mouse does not chase the lion. The mouse eats the lion. The mouse eats the tiger. The mouse is not cold. The mouse is kind. The mouse does not like the lion. The tiger eats the mouse. If someone chases the mouse and they do not chase the lion then they like the mouse. If the lion is kind and the lion chases the mouse then the lion is red. If someone likes the lion then the lion likes the tiger. If someone likes the tiger and they are kind then the tiger chases the mouse. If the mouse is cold then the mouse likes the tiger. If someone eats the tiger then they like the tiger.
The tiger does not like the mouse.
@0: The lion eats the mouse.[(triple1)] The lion likes the mouse.[(triple2)] The lion likes the tiger.[(triple3)] The mouse does not chase the lion.[(triple4)] The mouse does not like the lion.[(triple9)] The mouse eats the lion.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is kind.[(triple8)] The mouse is not cold.[(triple7)] The tiger eats the mouse.[(triple10)] @1: The mouse likes the tiger.[(((triple6) -> rule6))] @2: The tiger chases the mouse.[(((((triple6) -> rule6) triple8) -> rule4))]