The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is big. The bald eagle is not green. The bald eagle is kind. The bald eagle is rough. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse is big. The mouse sees the bald eagle. If someone chases the bald eagle then they chase the mouse. If the bald eagle is kind and the bald eagle chases the mouse then the bald eagle sees the mouse. If someone chases the bald eagle then the bald eagle eats the mouse.
The mouse is round.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple5)] The bald eagle is not green.[(triple4)] The bald eagle is rough.[(triple6)] The bald eagle sees the mouse.[(triple7 OR ((triple5 triple1) -> rule2))] The mouse eats the bald eagle.[(triple8)] The mouse is big.[(triple9)] The mouse sees the bald eagle.[(triple10)]