The bald eagle chases the mouse. The bald eagle eats the tiger. The bald eagle sees the mouse. The cat eats the mouse. The cat eats the tiger. The cat is round. The cat sees the bald eagle. The cat sees the mouse. The mouse is nice. The tiger eats the mouse. The tiger is rough. The tiger sees the cat. If the tiger sees the bald eagle and the tiger sees the mouse then the bald eagle sees the tiger. If someone eats the bald eagle then they eat the cat. If someone chases the bald eagle and the bald eagle is nice then the bald eagle sees the cat. If someone is red and they see the bald eagle then the bald eagle chases the cat. If the cat sees the bald eagle and the bald eagle sees the mouse then the mouse chases the cat. If the mouse is rough then the mouse eats the bald eagle.
The cat does not see the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle sees the mouse.[(triple3)] The cat eats the mouse.[(triple4)] The cat eats the tiger.[(triple5)] The cat is round.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the mouse.[(triple8)] The mouse is nice.[(triple9)] The tiger eats the mouse.[(triple10)] The tiger is rough.[(triple11)] The tiger sees the cat.[(triple12)] @1: The mouse chases the cat.[(((triple7 triple3) -> rule5))]