The bald eagle chases the mouse. The bald eagle is blue. The bald eagle is young. The bald eagle visits the dog. The dog chases the bald eagle. The dog chases the tiger. The dog is nice. The dog does not visit the bald eagle. The mouse sees the dog. The mouse sees the tiger. The mouse visits the tiger. The tiger chases the bald eagle. The tiger is blue. The tiger is rough. The tiger is young. If the tiger sees the dog then the tiger chases the mouse. If something chases the dog then the dog visits the tiger. If something chases the dog and it sees the bald eagle then the bald eagle sees the tiger. If something is big then it chases the tiger. If the bald eagle sees the tiger and the bald eagle does not chase the mouse then the mouse is big. If something is young and it visits the bald eagle then it is not big. If something is young then it chases the dog. If something is big and it does not chase the dog then it does not visit the tiger.
The bald eagle is blue.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the tiger.[(triple6)] The dog does not visit the bald eagle.[(triple8)] The dog is nice.[(triple7)] The mouse sees the dog.[(triple9)] The mouse sees the tiger.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger is blue.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] @1: The bald eagle chases the dog.[(((triple3) -> rule7))] The tiger chases the dog.[(((triple15) -> rule7))] @2: The dog visits the tiger.[(((((triple15) -> rule7)) -> rule2) OR ((((triple3) -> rule7)) -> rule2))]