The bald eagle is big. The bald eagle likes the rabbit. The bald eagle visits the mouse. The mouse likes the bald eagle. The mouse visits the rabbit. The mouse visits the tiger. The rabbit visits the bald eagle. The rabbit visits the tiger. The tiger chases the mouse. The tiger is round. The tiger likes the bald eagle. The tiger visits the bald eagle. If the rabbit is round and the rabbit visits the bald eagle then the rabbit is young. If something is big and nice then it is red. If something visits the mouse and the mouse is round then the mouse is young. If the mouse is young and the mouse is nice then the mouse chases the rabbit. If the rabbit likes the mouse and the rabbit is round then the mouse likes the bald eagle. If something likes the bald eagle and it visits the bald eagle then the bald eagle is big. If something is young and red then it visits the mouse. If the tiger is big then the tiger visits the rabbit.
The bald eagle likes the rabbit.
@0: The bald eagle is big.[(triple1 OR ((triple11 triple12) -> rule6))] The bald eagle likes the rabbit.[(triple2)] The bald eagle visits the mouse.[(triple3)] The mouse likes the bald eagle.[(triple4)] The mouse visits the rabbit.[(triple5)] The mouse visits the tiger.[(triple6)] The rabbit visits the bald eagle.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger is round.[(triple10)] The tiger likes the bald eagle.[(triple11)] The tiger visits the bald eagle.[(triple12)]