The bald eagle eats the mouse. The bald eagle sees the mouse. The bald eagle visits the mouse. The bald eagle visits the rabbit. The mouse eats the bald eagle. The mouse eats the rabbit. The mouse is nice. The mouse sees the bald eagle. The rabbit eats the mouse. The rabbit is big. The rabbit is rough. The rabbit visits the bald eagle. If something sees the bald eagle then it is big. If something eats the rabbit then it sees the mouse. If something eats the mouse and it is not rough then it visits the mouse.
The bald eagle eats the rabbit.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle sees the mouse.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bald eagle visits the rabbit.[(triple4)] The mouse eats the bald eagle.[(triple5)] The mouse eats the rabbit.[(triple6)] The mouse is nice.[(triple7)] The mouse sees the bald eagle.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is big.[(triple10)] The rabbit is rough.[(triple11)] The rabbit visits the bald eagle.[(triple12)] @1: The mouse is big.[(((triple8) -> rule1))] The mouse sees the mouse.[(((triple6) -> rule2))]