The bald eagle sees the lion. The bald eagle sees the mouse. The dog eats the lion. The dog eats the mouse. The dog is blue. The dog likes the bald eagle. The dog likes the lion. The dog likes the mouse. The dog sees the mouse. The lion eats the dog. The lion is kind. The lion is nice. The lion likes the dog. The lion sees the mouse. The mouse is round. The mouse sees the dog. If someone sees the bald eagle and the bald eagle eats the lion then they see the dog. If someone eats the dog and they like the mouse then they like the lion. If the bald eagle is blue then the bald eagle eats the dog. If someone sees the mouse then they like the mouse. If someone likes the lion and they are nice then they eat the lion. If someone sees the lion and they eat the mouse then the lion sees the bald eagle. If the dog eats the bald eagle then the bald eagle likes the lion. If someone sees the dog then the dog eats the mouse.
The lion does not eat the lion.
@0: The bald eagle sees the lion.[(triple1)] The bald eagle sees the mouse.[(triple2)] The dog eats the lion.[(triple3)] The dog eats the mouse.[(triple4 OR ((triple16) -> rule8))] The dog is blue.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog likes the lion.[(triple7)] The dog likes the mouse.[(triple8 OR ((triple9) -> rule4))] The dog sees the mouse.[(triple9)] The lion eats the dog.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12)] The lion likes the dog.[(triple13)] The lion sees the mouse.[(triple14)] The mouse is round.[(triple15)] The mouse sees the dog.[(triple16)] @1: The bald eagle likes the mouse.[(((triple2) -> rule4))] The lion likes the mouse.[(((triple14) -> rule4))] @2: The lion likes the lion.[(((triple10 ((triple14) -> rule4)) -> rule2))] @3: The lion eats the lion.[(((((triple10 ((triple14) -> rule4)) -> rule2) triple12) -> rule5))]