The bear eats the lion. The bear is big. The bear is red. The bear sees the lion. The lion chases the squirrel. The lion eats the bear. The lion eats the squirrel. The lion does not see the squirrel. The squirrel chases the bear. The squirrel chases the tiger. The squirrel eats the lion. The tiger does not chase the bear. The tiger eats the bear. The tiger eats the lion. The tiger eats the squirrel. The tiger sees the lion. If someone eats the lion and they are not blue then they eat the squirrel. If someone is red and they eat the squirrel then the squirrel eats the bear. If someone is cold and they eat the lion then the lion does not chase the squirrel. If someone chases the bear then the bear is red. If the tiger is not red then the tiger chases the lion. If someone is big and they do not see the squirrel then the squirrel chases the tiger.
The lion does not see the squirrel.
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2)] The bear is red.[(triple3 OR ((triple9) -> rule4))] The bear sees the lion.[(triple4)] The lion chases the squirrel.[(triple5)] The lion does not see the squirrel.[(triple8)] The lion eats the bear.[(triple6)] The lion eats the squirrel.[(triple7)] The squirrel chases the bear.[(triple9)] The squirrel chases the tiger.[(triple10)] The squirrel eats the lion.[(triple11)] The tiger does not chase the bear.[(triple12)] The tiger eats the bear.[(triple13)] The tiger eats the lion.[(triple14)] The tiger eats the squirrel.[(triple15)] The tiger sees the lion.[(triple16)]