The mouse is blue. The mouse is red. The mouse likes the rabbit. The mouse does not need the rabbit. The mouse needs the tiger. The rabbit is red. The rabbit likes the tiger. The rabbit needs the tiger. The tiger does not like the mouse. The tiger needs the mouse. If the rabbit needs the mouse then the mouse needs the tiger. If something is rough then it does not eat the tiger. If something eats the tiger and it likes the rabbit then the rabbit likes the tiger. If something is nice and it does not eat the tiger then the tiger likes the rabbit. If something likes the rabbit then the rabbit likes the mouse. If something is green and it does not like the rabbit then it likes the mouse.
The mouse eats the tiger.
@0: The mouse does not need the rabbit.[(triple4)] The mouse is blue.[(triple1)] The mouse is red.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse needs the tiger.[(triple5)] The rabbit is red.[(triple6)] The rabbit likes the tiger.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger does not like the mouse.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The rabbit likes the mouse.[(((triple3) -> rule5))]