The bear chases the lion. The bear sees the mouse. The bear visits the lion. The lion chases the bear. The lion chases the mouse. The lion is big. The lion is green. The lion is nice. The lion is rough. The lion visits the mouse. The mouse chases the bear. The mouse chases the lion. The mouse is rough. The mouse sees the bear. The mouse visits the lion. If something is green and it chases the lion then the lion is big. If something visits the mouse then it visits the bear.
The bear chases the bear.
@0: The bear chases the lion.[(triple1)] The bear sees the mouse.[(triple2)] The bear visits the lion.[(triple3)] The lion chases the bear.[(triple4)] The lion chases the mouse.[(triple5)] The lion is big.[(triple6)] The lion is green.[(triple7)] The lion is nice.[(triple8)] The lion is rough.[(triple9)] The lion visits the mouse.[(triple10)] The mouse chases the bear.[(triple11)] The mouse chases the lion.[(triple12)] The mouse is rough.[(triple13)] The mouse sees the bear.[(triple14)] The mouse visits the lion.[(triple15)] @1: The lion visits the bear.[(((triple10) -> rule2))]