The bald eagle eats the dog. The dog is big. The dog is young. The mouse is not nice. The mouse sees the rabbit. The rabbit sees the dog. The rabbit visits the mouse. If someone is young then they see the dog. If someone eats the mouse then the mouse does not eat the rabbit. If the mouse eats the bald eagle then the mouse eats the rabbit. If the mouse eats the rabbit then the rabbit visits the dog. If the bald eagle eats the mouse then the bald eagle is rough. If someone visits the mouse then they see the mouse. If the rabbit sees the mouse then the mouse does not eat the dog. If someone visits the dog then they are not rough.
The mouse is big.
@0: The bald eagle eats the dog.[(triple1)] The dog is big.[(triple2)] The dog is young.[(triple3)] The mouse is not nice.[(triple4)] The mouse sees the rabbit.[(triple5)] The rabbit sees the dog.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The dog sees the dog.[(((triple3) -> rule1))] The rabbit sees the mouse.[(((triple7) -> rule6))] @2: The mouse does not eat the dog.[(((((triple7) -> rule6)) -> rule7))]