The bald eagle chases the lion. The bald eagle does not chase the mouse. The bald eagle eats the lion. The bald eagle does not eat the mouse. The bald eagle is green. The bald eagle visits the mouse. The lion chases the tiger. The lion is big. The lion visits the tiger. The mouse does not chase the bald eagle. The mouse is nice. The mouse does not visit the lion. The tiger chases the mouse. The tiger does not eat the lion. The tiger is green. If something is big and it chases the tiger then it visits the mouse. If something chases the mouse and it eats the bald eagle then it visits the bald eagle. If something eats the lion and the lion does not chase the tiger then it visits the tiger. If something chases the bald eagle and it chases the tiger then it chases the lion. If something is big then it chases the lion. If something chases the tiger then the tiger is big.
The mouse visits the bald eagle.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle does not chase the mouse.[(triple2)] The bald eagle does not eat the mouse.[(triple4)] The bald eagle eats the lion.[(triple3)] The bald eagle is green.[(triple5)] The bald eagle visits the mouse.[(triple6)] The lion chases the tiger.[(triple7)] The lion is big.[(triple8)] The lion visits the tiger.[(triple9)] The mouse does not chase the bald eagle.[(triple10)] The mouse does not visit the lion.[(triple12)] The mouse is nice.[(triple11)] The tiger chases the mouse.[(triple13)] The tiger does not eat the lion.[(triple14)] The tiger is green.[(triple15)] @1: The lion chases the lion.[(((triple8) -> rule5))] The lion visits the mouse.[(((triple8 triple7) -> rule1))] The tiger is big.[(((triple7) -> rule6))] @2: The tiger chases the lion.[(((((triple7) -> rule6)) -> rule5))]