The bald eagle eats the lion. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the lion. The bald eagle likes the mouse. The bald eagle sees the mouse. The lion eats the mouse. The lion is round. The lion likes the bald eagle. The mouse eats the bald eagle. The mouse eats the lion. The mouse is nice. The mouse is rough. The mouse likes the lion. The mouse sees the bald eagle. If the bald eagle likes the lion then the bald eagle eats the mouse. If something eats the bald eagle and the bald eagle likes the mouse then the bald eagle sees the lion.
The lion is nice.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the lion.[(triple4)] The bald eagle likes the mouse.[(triple5)] The bald eagle sees the mouse.[(triple6)] The lion eats the mouse.[(triple7)] The lion is round.[(triple8)] The lion likes the bald eagle.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse eats the lion.[(triple11)] The mouse is nice.[(triple12)] The mouse is rough.[(triple13)] The mouse likes the lion.[(triple14)] The mouse sees the bald eagle.[(triple15)] @1: The bald eagle eats the mouse.[(((triple4) -> rule1))] The bald eagle sees the lion.[(((triple10 triple5) -> rule2))]