The bear eats the squirrel. The bear eats the tiger. The bear is big. The bear is not red. The bear is young. The bear likes the tiger. The lion eats the tiger. The lion is kind. The lion sees the squirrel. The squirrel eats the bear. The squirrel is green. The squirrel sees the bear. The tiger is big. The tiger sees the bear. The tiger sees the squirrel. If something likes the squirrel and the squirrel eats the tiger then the tiger eats the lion. If something eats the squirrel then it is green. If something likes the tiger then it is green. If something eats the tiger and it likes the lion then it is not green. If something eats the squirrel then it eats the bear. If something likes the bear and the bear does not like the squirrel then the squirrel likes the bear.
The lion is not green.
@0: The bear eats the squirrel.[(triple1)] The bear eats the tiger.[(triple2)] The bear is big.[(triple3)] The bear is not red.[(triple4)] The bear is young.[(triple5)] The bear likes the tiger.[(triple6)] The lion eats the tiger.[(triple7)] The lion is kind.[(triple8)] The lion sees the squirrel.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is green.[(triple11)] The squirrel sees the bear.[(triple12)] The tiger is big.[(triple13)] The tiger sees the bear.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The bear eats the bear.[(((triple1) -> rule5))] The bear is green.[(((triple1) -> rule2) OR ((triple6) -> rule3))]