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