The mouse eats the tiger. The mouse is cold. The mouse is not kind. The mouse is not nice. The mouse is red. The mouse needs the tiger. The mouse visits the tiger. The tiger eats the mouse. The tiger is cold. The tiger is nice. The tiger needs the mouse. The tiger visits the mouse. If someone needs the tiger then the tiger visits the mouse.
The tiger needs the tiger.
@0: The mouse eats the tiger.[(triple1)] The mouse is cold.[(triple2)] The mouse is not kind.[(triple3)] The mouse is not nice.[(triple4)] The mouse is red.[(triple5)] The mouse needs the tiger.[(triple6)] The mouse visits the tiger.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is cold.[(triple9)] The tiger is nice.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger visits the mouse.[(triple12 OR ((triple6) -> rule1))]