The bald eagle chases the bear. The bald eagle is red. The bald eagle likes the bear. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear chases the rabbit. The bear likes the bald eagle. The bear visits the rabbit. The rabbit chases the bald eagle. The rabbit chases the bear. The rabbit is big. The rabbit is green. The rabbit likes the bald eagle. The rabbit visits the bald eagle. The rabbit visits the bear. If the bear likes the rabbit then the rabbit chases the bald eagle. If something visits the bald eagle then it is red. If the bear likes the bald eagle then the bear likes the rabbit. If the bald eagle is big and the bald eagle visits the rabbit then the bald eagle likes the rabbit. If something likes the bear and it is rough then the bear likes the rabbit. If something visits the bald eagle then the bald eagle chases the bear. If something visits the bald eagle then it likes the rabbit. If the bald eagle is green then the bald eagle is big.
The rabbit visits the rabbit.
@0: The bald eagle chases the bear.[(triple1 OR ((triple14) -> rule6))] The bald eagle is red.[(triple2)] The bald eagle likes the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The bear chases the rabbit.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit chases the bald eagle.[(triple9 OR ((((triple7) -> rule3)) -> rule1))] The rabbit chases the bear.[(triple10)] The rabbit is big.[(triple11)] The rabbit is green.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bear likes the rabbit.[(((triple7) -> rule3))] The rabbit is red.[(((triple14) -> rule2))] The rabbit likes the rabbit.[(((triple14) -> rule7))]