The bear eats the cow. The bear is kind. The bear is red. The cow chases the bear. The cow is round. The cow sees the bear. The lion chases the bear. The lion chases the squirrel. The lion eats the cow. The lion is round. The squirrel sees the cow. The squirrel sees the lion. If something sees the lion then it eats the bear. If something chases the cow and it chases the bear then it is red. If something is kind then it chases the cow. If the squirrel chases the bear then the squirrel eats the cow. If something chases the bear and the bear is round then it is green. If the bear is nice and the bear eats the cow then the cow is red. If something eats the cow then the cow is round. If something chases the bear and the bear is green then it sees the lion.
The cow does not chase the cow.
@0: The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The cow chases the bear.[(triple4)] The cow is round.[(triple5 OR ((triple1) -> rule7) OR ((triple9) -> rule7))] The cow sees the bear.[(triple6)] The lion chases the bear.[(triple7)] The lion chases the squirrel.[(triple8)] The lion eats the cow.[(triple9)] The lion is round.[(triple10)] The squirrel sees the cow.[(triple11)] The squirrel sees the lion.[(triple12)] @1: The bear chases the cow.[(((triple2) -> rule3))] The squirrel eats the bear.[(((triple12) -> rule1))]