The bald eagle chases the cat. The bald eagle chases the mouse. The bald eagle chases the rabbit. The bald eagle is blue. The cat needs the rabbit. The cat visits the bald eagle. The mouse chases the rabbit. The mouse needs the bald eagle. The mouse needs the rabbit. The rabbit chases the bald eagle. The rabbit visits the cat. The rabbit visits the mouse. If someone visits the mouse and the mouse visits the bald eagle then they chase the cat. If someone is cold and blue then they visit the cat. If someone chases the rabbit then they need the mouse.
The bald eagle chases the mouse.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle chases the rabbit.[(triple3)] The bald eagle is blue.[(triple4)] The cat needs the rabbit.[(triple5)] The cat visits the bald eagle.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse needs the bald eagle.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit chases the bald eagle.[(triple10)] The rabbit visits the cat.[(triple11)] The rabbit visits the mouse.[(triple12)] @1: The bald eagle needs the mouse.[(((triple3) -> rule3))] The mouse needs the mouse.[(((triple7) -> rule3))]