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