The bear chases the lion. The bear does not chase the mouse. The bear is not big. The bear likes the lion. The lion is not red. The mouse does not chase the lion. The mouse is big. The mouse is nice. The mouse likes the lion. The mouse does not visit the bear. If something chases the lion then the lion is nice. If something chases the mouse and it chases the lion then the lion does not like the bear.
The bear does not like the bear.
@0: The bear chases the lion.[(triple1)] The bear does not chase the mouse.[(triple2)] The bear is not big.[(triple3)] The bear likes the lion.[(triple4)] The lion is not red.[(triple5)] The mouse does not chase the lion.[(triple6)] The mouse does not visit the bear.[(triple10)] The mouse is big.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the lion.[(triple9)] @1: The lion is nice.[(((triple1) -> rule1))]