The bear chases the lion. The bear eats the mouse. The bear is green. The bear visits the mouse. The cat chases the bear. The cat eats the lion. The cat is green. The cat visits the mouse. The lion chases the mouse. The lion eats the bear. The lion is round. The lion is young. The mouse is green. The mouse is red. The mouse visits the bear. The mouse visits the lion. If the lion chases the cat and the cat visits the lion then the lion visits the mouse. If something chases the mouse then the mouse chases the bear. If something chases the bear and it is green then it eats the bear.
The cat does not visit the lion.
@0: The bear chases the lion.[(triple1)] The bear eats the mouse.[(triple2)] The bear is green.[(triple3)] The bear visits the mouse.[(triple4)] The cat chases the bear.[(triple5)] The cat eats the lion.[(triple6)] The cat is green.[(triple7)] The cat visits the mouse.[(triple8)] The lion chases the mouse.[(triple9)] The lion eats the bear.[(triple10)] The lion is round.[(triple11)] The lion is young.[(triple12)] The mouse is green.[(triple13)] The mouse is red.[(triple14)] The mouse visits the bear.[(triple15)] The mouse visits the lion.[(triple16)] @1: The cat eats the bear.[(((triple5 triple7) -> rule3))] The mouse chases the bear.[(((triple9) -> rule2))] @2: The mouse eats the bear.[(((((triple9) -> rule2) triple13) -> rule3))]