The bald eagle eats the mouse. The bald eagle likes the dog. The dog eats the bald eagle. The dog is green. The dog likes the bald eagle. The dog sees the mouse. The mouse is big. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit sees the bald eagle. If someone is green and blue then they eat the rabbit. Round people are big. If someone is round and they eat the bald eagle then they like the dog. If someone is blue and not red then they are not green. If the bald eagle does not eat the mouse then the bald eagle does not like the mouse. If someone sees the rabbit then they do not like the mouse. If the mouse eats the bald eagle then the bald eagle sees the rabbit. If the dog is not big then the dog sees the bald eagle.
The bald eagle eats the rabbit.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle likes the dog.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is green.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog sees the mouse.[(triple6)] The mouse is big.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse sees the rabbit.[(triple9)] The rabbit sees the bald eagle.[(triple10)] @1: The mouse does not like the mouse.[(((triple9) -> rule6))]