The bald eagle eats the mouse. The bald eagle sees the mouse. The bald eagle visits the mouse. The cat eats the bald eagle. The cat eats the lion. The cat does not eat the mouse. The cat does not visit the mouse. The lion is not green. The lion is round. The lion visits the cat. The mouse is not cold. The mouse visits the lion. If someone sees the mouse then they eat the cat. If the cat visits the mouse then the cat visits the bald eagle. If someone visits the bald eagle and the bald eagle does not eat the lion then they see the lion. If someone eats the lion and the lion visits the bald eagle then the bald eagle eats the cat. If someone eats the cat then the cat sees the mouse. If someone visits the bald eagle and the bald eagle is round then they eat the mouse.
The bald eagle does not eat the cat.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle visits the mouse.[(triple3)] The cat does not eat the mouse.[(triple6)] The cat does not visit the mouse.[(triple7)] The cat eats the bald eagle.[(triple4)] The cat eats the lion.[(triple5)] The lion is not green.[(triple8)] The lion is round.[(triple9)] The lion visits the cat.[(triple10)] The mouse is not cold.[(triple11)] The mouse visits the lion.[(triple12)] @1: The bald eagle eats the cat.[(((triple2) -> rule1))] @2: The cat sees the mouse.[(((((triple2) -> rule1)) -> rule5))] @3: The cat eats the cat.[(((((((triple2) -> rule1)) -> rule5)) -> rule1))]