The bald eagle is not nice. The bald eagle needs the lion. The bald eagle sees the lion. The lion is not cold. The lion does not like the bald eagle. The lion likes the mouse. The lion needs the mouse. The lion sees the bald eagle. The lion sees the mouse. The mouse is nice. The mouse is young. The mouse likes the lion. The mouse needs the bald eagle. The mouse needs the lion. The mouse sees the lion. If something sees the bald eagle then it likes the mouse. If something needs the mouse and the mouse sees the lion then the mouse is nice. If something needs the lion and it is not rough then the lion is round. If something needs the mouse then it does not like the lion. If something needs the bald eagle and it sees the bald eagle then the bald eagle sees the mouse. If the lion is cold and the lion sees the bald eagle then the lion needs the bald eagle. If something likes the lion and the lion needs the mouse then the mouse sees the lion. If something needs the mouse then the mouse sees the lion.
The bald eagle needs the bald eagle.
@0: The bald eagle is not nice.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion does not like the bald eagle.[(triple5)] The lion is not cold.[(triple4)] The lion likes the mouse.[(triple6 OR ((triple8) -> rule1))] The lion needs the mouse.[(triple7)] The lion sees the bald eagle.[(triple8)] The lion sees the mouse.[(triple9)] The mouse is nice.[(triple10 OR ((triple7 triple15) -> rule2) OR ((triple7 ((triple7) -> rule8)) -> rule2) OR ((triple7 ((triple12 triple7) -> rule7)) -> rule2))] The mouse is young.[(triple11)] The mouse likes the lion.[(triple12)] The mouse needs the bald eagle.[(triple13)] The mouse needs the lion.[(triple14)] The mouse sees the lion.[(triple15 OR ((triple7) -> rule8) OR ((triple12 triple7) -> rule7))] @1: The lion does not like the lion.[(((triple7) -> rule4))]