The bald eagle chases the bear. The bear chases the lion. The bear is red. The bear likes the bald eagle. The bear likes the lion. The bear likes the mouse. The bear visits the lion. The lion chases the mouse. The lion is green. The lion is not round. The mouse visits the bear. The mouse does not visit the lion. If someone is round then they like the mouse. If someone is green then they visit the bald eagle. If someone is round and not big then they visit the bald eagle. If the bear is kind and the bear is round then the bear is red. If the lion is red and the lion visits the bear then the bear likes the lion. If someone visits the mouse then they visit the lion. If someone visits the bald eagle then the bald eagle does not visit the bear. If someone is red and they visit the bald eagle then they are round.
The mouse visits the bear.
@0: The bald eagle chases the bear.[(triple1)] The bear chases the lion.[(triple2)] The bear is red.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the lion.[(triple5)] The bear likes the mouse.[(triple6)] The bear visits the lion.[(triple7)] The lion chases the mouse.[(triple8)] The lion is green.[(triple9)] The lion is not round.[(triple10)] The mouse does not visit the lion.[(triple12)] The mouse visits the bear.[(triple11)] @1: The lion visits the bald eagle.[(((triple9) -> rule2))] @2: The bald eagle does not visit the bear.[(((((triple9) -> rule2)) -> rule7))]