The lion is rough. The mouse eats the lion. The mouse eats the rabbit. The mouse is blue. The mouse is nice. The mouse does not visit the lion. The mouse visits the rabbit. The rabbit eats the mouse. The rabbit is nice. The rabbit is young. The rabbit needs the lion. The rabbit needs the mouse. If something needs the rabbit and it is not big then it is young. If the lion does not visit the rabbit then the rabbit needs the lion. If something eats the mouse then it needs the mouse.
The lion visits the mouse.
@0: The lion is rough.[(triple1)] The mouse does not visit the lion.[(triple6)] The mouse eats the lion.[(triple2)] The mouse eats the rabbit.[(triple3)] The mouse is blue.[(triple4)] The mouse is nice.[(triple5)] The mouse visits the rabbit.[(triple7)] The rabbit eats the mouse.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is young.[(triple10)] The rabbit needs the lion.[(triple11)] The rabbit needs the mouse.[(triple12 OR ((triple8) -> rule3))]