The mouse eats the rabbit. The mouse eats the tiger. The mouse is blue. The mouse likes the tiger. The mouse visits the rabbit. The rabbit is big. The rabbit likes the mouse. The rabbit visits the mouse. The tiger eats the mouse. The tiger eats the rabbit. The tiger is big. The tiger visits the rabbit. If something likes the rabbit then it visits the mouse.
The rabbit does not visit the mouse.
@0: The mouse eats the rabbit.[(triple1)] The mouse eats the tiger.[(triple2)] The mouse is blue.[(triple3)] The mouse likes the tiger.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit is big.[(triple6)] The rabbit likes the mouse.[(triple7)] The rabbit visits the mouse.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger eats the rabbit.[(triple10)] The tiger is big.[(triple11)] The tiger visits the rabbit.[(triple12)]