The lion does not eat the mouse. The lion is nice. The lion visits the mouse. The mouse eats the lion. The mouse is cold. The mouse is green. The mouse is rough. The mouse is not round. The mouse likes the lion. The mouse does not visit the lion. If something visits the mouse then it does not like the lion. If something likes the mouse and it is cold then the mouse eats the lion.
The lion does not visit the mouse.
@0: The lion does not eat the mouse.[(triple1)] The lion is nice.[(triple2)] The lion visits the mouse.[(triple3)] The mouse does not visit the lion.[(triple10)] The mouse eats the lion.[(triple4)] The mouse is cold.[(triple5)] The mouse is green.[(triple6)] The mouse is not round.[(triple8)] The mouse is rough.[(triple7)] The mouse likes the lion.[(triple9)] @1: The lion does not like the lion.[(((triple3) -> rule1))]