The bald eagle chases the bear. The bald eagle chases the cat. The bald eagle is blue. The bald eagle likes the mouse. The bald eagle visits the bear. The bald eagle visits the mouse. The bear chases the bald eagle. The bear is green. The cat likes the bald eagle. The cat likes the bear. The mouse chases the bear. The mouse is green. The mouse likes the bald eagle. The mouse visits the bear. The mouse visits the cat. If someone chases the bear then the bear likes the mouse. If someone is blue then they chase the mouse. If the bear is green and the bear likes the cat then the cat is round. If someone is green and they like the mouse then the mouse visits the bald eagle. If someone is green then they visit the cat. If someone likes the bear and the bear chases the mouse then the mouse is big. If someone is blue and red then they like the cat. If someone visits the cat and the cat is round then the cat chases the bald eagle.
The mouse visits the bear.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cat.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the mouse.[(triple6)] The bear chases the bald eagle.[(triple7)] The bear is green.[(triple8)] The cat likes the bald eagle.[(triple9)] The cat likes the bear.[(triple10)] The mouse chases the bear.[(triple11)] The mouse is green.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse visits the bear.[(triple14)] The mouse visits the cat.[(triple15 OR ((triple12) -> rule5))] @1: The bald eagle chases the mouse.[(((triple3) -> rule2))] The bear likes the mouse.[(((triple1) -> rule1) OR ((triple11) -> rule1))] The bear visits the cat.[(((triple8) -> rule5))] @2: The mouse visits the bald eagle.[(((triple8 ((triple1) -> rule1)) -> rule4) OR ((triple8 ((triple11) -> rule1)) -> rule4))]