The mouse eats the tiger. The mouse is nice. The mouse likes the rabbit. The mouse likes the tiger. The rabbit eats the mouse. The rabbit eats the tiger. The rabbit is kind. The rabbit likes the tiger. The rabbit does not visit the tiger. The tiger eats the mouse. The tiger is blue. The tiger likes the mouse. If something visits the tiger and it likes the tiger then it eats the mouse. If something eats the rabbit then it does not eat the tiger. If something likes the mouse then it is not rough. If something is young then it likes the mouse. If something eats the tiger and it eats the mouse then it is young. If the mouse likes the tiger and the tiger is not young then the mouse likes the rabbit.
The tiger visits the rabbit.
@0: The mouse eats the tiger.[(triple1)] The mouse is nice.[(triple2)] The mouse likes the rabbit.[(triple3)] The mouse likes the tiger.[(triple4)] The rabbit does not visit the tiger.[(triple9)] The rabbit eats the mouse.[(triple5)] The rabbit eats the tiger.[(triple6)] The rabbit is kind.[(triple7)] The rabbit likes the tiger.[(triple8)] The tiger eats the mouse.[(triple10)] The tiger is blue.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The rabbit is young.[(((triple6 triple5) -> rule5))] The tiger is not rough.[(((triple12) -> rule3))] @2: The rabbit likes the mouse.[(((((triple6 triple5) -> rule5)) -> rule4))] @3: The rabbit is not rough.[(((((((triple6 triple5) -> rule5)) -> rule4)) -> rule3))]