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