The bald eagle chases the mouse. The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle is rough. The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is blue. The mouse is cold. The mouse is rough. The mouse is young. The mouse likes the bald eagle. The mouse visits the bald eagle. If something visits the mouse and the mouse likes the bald eagle then the bald eagle likes the mouse. If something chases the bald eagle and the bald eagle is blue then the bald eagle likes the mouse.
The bald eagle likes the bald eagle.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the mouse.[(triple7 OR ((triple8 triple14) -> rule1) OR ((triple9 triple3) -> rule2))] The bald eagle visits the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is rough.[(triple12)] The mouse is young.[(triple13)] The mouse likes the bald eagle.[(triple14)] The mouse visits the bald eagle.[(triple15)]