The bald eagle eats the mouse. The bald eagle is blue. The cat eats the mouse. The cat is big. The lion is big. The mouse chases the cat. The mouse visits the lion. If something chases the lion and the lion is big then the lion is cold. If the bald eagle eats the cat then the cat visits the lion. If something visits the lion and the lion is blue then the lion chases the bald eagle. If something is nice then it visits the lion. If something is big then it eats the bald eagle. If the mouse chases the lion then the lion chases the mouse. If something eats the cat then it is big. If the lion is cold and the lion eats the mouse then the mouse is cold.
The bald eagle eats the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The cat eats the mouse.[(triple3)] The cat is big.[(triple4)] The lion is big.[(triple5)] The mouse chases the cat.[(triple6)] The mouse visits the lion.[(triple7)] @1: The cat eats the bald eagle.[(((triple4) -> rule5))] The lion eats the bald eagle.[(((triple5) -> rule5))]