The bear eats the lion. The bear is kind. The bear is round. The bear visits the cow. The cow chases the bear. The cow does not eat the squirrel. The cow is round. The cow visits the squirrel. The lion chases the cow. The squirrel chases the cow. The squirrel chases the lion. The squirrel eats the cow. The squirrel is green. The squirrel does not visit the bear. The squirrel visits the cow. If the lion is cold and the lion does not eat the bear then the bear is round. If the squirrel eats the cow and the squirrel does not chase the cow then the squirrel does not visit the lion. If the cow is red then the cow is not kind. If someone chases the bear then they chase the squirrel. If someone eats the squirrel then they visit the squirrel. If someone eats the cow and the cow does not eat the bear then the cow is red.
The cow visits the lion.
@0: The bear eats the lion.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear visits the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow does not eat the squirrel.[(triple6)] The cow is round.[(triple7)] The cow visits the squirrel.[(triple8)] The lion chases the cow.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel does not visit the bear.[(triple14)] The squirrel eats the cow.[(triple12)] The squirrel is green.[(triple13)] The squirrel visits the cow.[(triple15)] @1: The cow chases the squirrel.[(((triple5) -> rule4))]