The bear eats the lion. The bear eats the rabbit. The bear eats the squirrel. The bear visits the rabbit. The lion is cold. The lion sees the bear. The rabbit eats the squirrel. The rabbit sees the lion. The rabbit visits the lion. The squirrel eats the bear. The squirrel is green. The squirrel visits the lion. If the squirrel visits the lion then the lion eats the bear. If the rabbit visits the squirrel and the rabbit eats the bear then the rabbit sees the lion.
The squirrel does not visit the lion.
@0: The bear eats the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear eats the squirrel.[(triple3)] The bear visits the rabbit.[(triple4)] The lion is cold.[(triple5)] The lion sees the bear.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit sees the lion.[(triple8)] The rabbit visits the lion.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel is green.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The lion eats the bear.[(((triple12) -> rule1))]