The bald eagle is cold. The bald eagle is rough. The bald eagle sees the lion. The lion chases the mouse. The lion is rough. The lion needs the bald eagle. The lion sees the mouse. The mouse needs the bald eagle. The mouse sees the bald eagle. The mouse sees the lion. If something sees the mouse and the mouse chases the bald eagle then the mouse needs the bald eagle. If something sees the mouse then it is rough. If something is young and it needs the mouse then the mouse chases the bald eagle.
The mouse chases the lion.
@0: The bald eagle is cold.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion chases the mouse.[(triple4)] The lion is rough.[(triple5 OR ((triple7) -> rule2))] The lion needs the bald eagle.[(triple6)] The lion sees the mouse.[(triple7)] The mouse needs the bald eagle.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse sees the lion.[(triple10)]