The bald eagle likes the mouse. The bald eagle visits the mouse. The dog is big. The dog likes the tiger. The dog does not visit the mouse. The mouse eats the bald eagle. The mouse eats the dog. The mouse is cold. The mouse visits the dog. The mouse visits the tiger. The tiger eats the mouse. The tiger likes the mouse. If something is blue then it does not like the mouse. If something visits the tiger and the tiger likes the dog then the tiger does not eat the bald eagle. If something visits the mouse then it visits the tiger.
The dog does not visit the mouse.
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle visits the mouse.[(triple2)] The dog does not visit the mouse.[(triple5)] The dog is big.[(triple3)] The dog likes the tiger.[(triple4)] The mouse eats the bald eagle.[(triple6)] The mouse eats the dog.[(triple7)] The mouse is cold.[(triple8)] The mouse visits the dog.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger likes the mouse.[(triple12)] @1: The bald eagle visits the tiger.[(((triple2) -> rule3))]