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