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