The bald eagle eats the dog. The bald eagle eats the mouse. The bald eagle is big. The bald eagle needs the mouse. The bald eagle sees the dog. The dog eats the bald eagle. The dog eats the mouse. The dog is nice. The dog needs the mouse. The mouse is cold. The mouse sees the bald eagle. The mouse sees the dog. If someone needs the bald eagle and the bald eagle is nice then they eat the dog. If someone is young then they see the bald eagle. If the bald eagle eats the dog then the dog needs the mouse. If someone needs the mouse and they see the bald eagle then the bald eagle sees the mouse. If the dog sees the bald eagle and the dog sees the mouse then the dog is young. If someone is young and they need the mouse then they see the bald eagle.
The mouse is nice.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog eats the mouse.[(triple7)] The dog is nice.[(triple8)] The dog needs the mouse.[(triple9 OR ((triple1) -> rule3))] The mouse is cold.[(triple10)] The mouse sees the bald eagle.[(triple11)] The mouse sees the dog.[(triple12)]