The bear is green. The bear is round. The bear visits the tiger. The lion eats the bear. The lion is nice. The lion is rough. The lion needs the bear. The lion needs the tiger. The squirrel eats the bear. The squirrel visits the bear. The tiger is round. The tiger needs the lion. The tiger needs the squirrel. The tiger visits the lion. The tiger visits the squirrel. If something is round then it does not eat the bear.
The squirrel visits the lion.
@0: The bear is green.[(triple1)] The bear is round.[(triple2)] The bear visits the tiger.[(triple3)] The lion eats the bear.[(triple4)] The lion is nice.[(triple5)] The lion is rough.[(triple6)] The lion needs the bear.[(triple7)] The lion needs the tiger.[(triple8)] The squirrel eats the bear.[(triple9)] The squirrel visits the bear.[(triple10)] The tiger is round.[(triple11)] The tiger needs the lion.[(triple12)] The tiger needs the squirrel.[(triple13)] The tiger visits the lion.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The bear does not eat the bear.[(((triple2) -> rule1))] The tiger does not eat the bear.[(((triple11) -> rule1))]