The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle visits the dog. The bald eagle visits the mouse. The dog chases the bald eagle. The dog is cold. The dog is kind. The dog visits the bald eagle. The lion is cold. The mouse chases the bald eagle. The mouse is kind. The mouse sees the lion. If something is rough then it chases the dog. If something is nice then it sees the mouse. If the dog sees the lion then the lion sees the bald eagle. If something is rough then it chases the mouse. If something is nice then it sees the mouse. If the mouse chases the dog and the dog sees the mouse then the mouse is green. If something chases the mouse and the mouse sees the bald eagle then the mouse sees the dog. If something chases the dog and it chases the bald eagle then the dog visits the lion.
The bald eagle visits the mouse.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle visits the dog.[(triple6)] The bald eagle visits the mouse.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog is cold.[(triple9)] The dog is kind.[(triple10)] The dog visits the bald eagle.[(triple11)] The lion is cold.[(triple12)] The mouse chases the bald eagle.[(triple13)] The mouse is kind.[(triple14)] The mouse sees the lion.[(triple15)] @1: The bald eagle sees the mouse.[(((triple5) -> rule2) OR ((triple5) -> rule5))]