The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle sees the mouse. The lion chases the mouse. The lion eats the mouse. The lion is big. The mouse eats the bald eagle. The mouse eats the rabbit. The mouse is round. The mouse does not see the bald eagle. The rabbit chases the bald eagle. The rabbit chases the mouse. The rabbit is big. The rabbit is round. The rabbit sees the lion. If something is big then it sees the lion. If the rabbit is not rough then the rabbit sees the lion. If the bald eagle chases the rabbit and the rabbit chases the lion then the lion chases the rabbit.
The bald eagle sees the mouse.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle sees the mouse.[(triple3)] The lion chases the mouse.[(triple4)] The lion eats the mouse.[(triple5)] The lion is big.[(triple6)] The mouse does not see the bald eagle.[(triple10)] The mouse eats the bald eagle.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse is round.[(triple9)] The rabbit chases the bald eagle.[(triple11)] The rabbit chases the mouse.[(triple12)] The rabbit is big.[(triple13)] The rabbit is round.[(triple14)] The rabbit sees the lion.[(triple15 OR ((triple13) -> rule1))] @1: The lion sees the lion.[(((triple6) -> rule1))]