The lion eats the mouse. The lion is not blue. The lion is cold. The lion is kind. The lion is not young. The lion needs the mouse. The mouse does not eat the lion. The mouse is blue. The mouse is cold. The mouse is round. The mouse needs the lion. The mouse visits the lion. If someone is young then they are round. If someone visits the lion then they do not eat the mouse. If someone visits the mouse and the mouse is round then the mouse visits the lion. If the lion is young then the lion needs the mouse. If the lion needs the mouse and the mouse is young then the mouse is round. If someone needs the mouse and the mouse is kind then they visit the mouse.
The lion eats the mouse.
@0: The lion eats the mouse.[(triple1)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion is not blue.[(triple2)] The lion is not young.[(triple5)] The lion needs the mouse.[(triple6)] The mouse does not eat the lion.[(triple7)] The mouse is blue.[(triple8)] The mouse is cold.[(triple9)] The mouse is round.[(triple10)] The mouse needs the lion.[(triple11)] The mouse visits the lion.[(triple12)] @1: The mouse does not eat the mouse.[(((triple12) -> rule2))]