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