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