The bald eagle is rough. The bear is blue. The bear is nice. The bear is rough. The bear likes the dog. The bear sees the bald eagle. The bear visits the dog. The dog is blue. The dog is round. The dog likes the bald eagle. The dog sees the bald eagle. The dog visits the bald eagle. The dog visits the bear. The dog visits the mouse. The mouse is nice. The mouse visits the dog. If something likes the dog then it sees the bear. If the bald eagle is blue then the bald eagle visits the bear.
The mouse visits the mouse.
@0: The bald eagle is rough.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear visits the dog.[(triple7)] The dog is blue.[(triple8)] The dog is round.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog sees the bald eagle.[(triple11)] The dog visits the bald eagle.[(triple12)] The dog visits the bear.[(triple13)] The dog visits the mouse.[(triple14)] The mouse is nice.[(triple15)] The mouse visits the dog.[(triple16)] @1: The bear sees the bear.[(((triple5) -> rule1))]