The bear chases the lion. The bear is round. The bear is young. The bear likes the mouse. The lion does not chase the bear. The lion is round. The lion is young. The lion visits the bear. The mouse does not chase the bear. The mouse does not chase the lion. The mouse is young. The mouse visits the lion. If the mouse is rough and the mouse is green then the mouse chases the bear. If someone visits the bear and the bear does not chase the lion then the lion does not like the bear. If someone likes the mouse then they chase the bear. If someone visits the lion and the lion is not nice then the lion likes the mouse. If someone is nice then they like the bear. If the mouse is nice and the mouse does not chase the lion then the mouse is not young. If someone likes the bear and the bear visits the mouse then the bear does not chase the mouse. If someone chases the lion and they do not like the lion then they chase the mouse.
The mouse is not young.
@0: The bear chases the lion.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear likes the mouse.[(triple4)] The lion does not chase the bear.[(triple5)] The lion is round.[(triple6)] The lion is young.[(triple7)] The lion visits the bear.[(triple8)] The mouse does not chase the bear.[(triple9)] The mouse does not chase the lion.[(triple10)] The mouse is young.[(triple11)] The mouse visits the lion.[(triple12)] @1: The bear chases the bear.[(((triple4) -> rule3))]