The lion eats the mouse. The lion is kind. The lion likes the tiger. The lion visits the tiger. The mouse eats the lion. The mouse is blue. The mouse is kind. The mouse is rough. The mouse visits the lion. The mouse visits the tiger. The tiger is nice. The tiger likes the mouse. If someone is rough then they eat the lion. If someone visits the mouse and they like the mouse then the mouse is nice. If someone likes the mouse then the mouse eats the lion.
The tiger does not eat the lion.
@0: The lion eats the mouse.[(triple1)] The lion is kind.[(triple2)] The lion likes the tiger.[(triple3)] The lion visits the tiger.[(triple4)] The mouse eats the lion.[(triple5 OR ((triple12) -> rule3) OR ((triple8) -> rule1))] The mouse is blue.[(triple6)] The mouse is kind.[(triple7)] The mouse is rough.[(triple8)] The mouse visits the lion.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger is nice.[(triple11)] The tiger likes the mouse.[(triple12)]