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