The bear is green. The bear likes the squirrel. The bear visits the dog. The bear visits the lion. The dog is round. The dog does not like the squirrel. The dog needs the lion. The dog needs the squirrel. The lion is big. The lion is red. The squirrel is round. The squirrel does not like the dog. The squirrel likes the lion. The squirrel needs the bear. The squirrel needs the dog. The squirrel does not need the lion. If something visits the lion then the lion is round.
The lion is not round.
@0: The bear is green.[(triple1)] The bear likes the squirrel.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the lion.[(triple4)] The dog does not like the squirrel.[(triple6)] The dog is round.[(triple5)] The dog needs the lion.[(triple7)] The dog needs the squirrel.[(triple8)] The lion is big.[(triple9)] The lion is red.[(triple10)] The squirrel does not like the dog.[(triple12)] The squirrel does not need the lion.[(triple16)] The squirrel is round.[(triple11)] The squirrel likes the lion.[(triple13)] The squirrel needs the bear.[(triple14)] The squirrel needs the dog.[(triple15)] @1: The lion is round.[(((triple4) -> rule1))]