The mouse chases the tiger. The mouse is green. The mouse likes the rabbit. The mouse needs the rabbit. The mouse needs the tiger. The rabbit chases the mouse. The rabbit is rough. The rabbit needs the mouse. The tiger chases the rabbit. The tiger likes the rabbit. The tiger needs the mouse. The tiger needs the rabbit. If the rabbit chases the tiger then the rabbit likes the tiger. If someone chases the tiger then the tiger needs the rabbit.
The rabbit does not like the tiger.
@0: The mouse chases the tiger.[(triple1)] The mouse is green.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse needs the tiger.[(triple5)] The rabbit chases the mouse.[(triple6)] The rabbit is rough.[(triple7)] The rabbit needs the mouse.[(triple8)] The tiger chases the rabbit.[(triple9)] The tiger likes the rabbit.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger needs the rabbit.[(triple12 OR ((triple1) -> rule2))]