The bear eats the cow. The bear eats the lion. The bear is kind. The bear is round. The bear visits the lion. The cow chases the bear. The cow eats the bear. The cow eats the lion. The lion chases the bear. The lion chases the cow. The lion eats the bear. The lion eats the cow. The lion is not cold. The lion is round. The lion visits the bear. If something chases the cow then it visits the lion. If something eats the cow and the cow eats the lion then the lion is not cold. If something is big then it eats the lion. If something is young then it does not eat the lion. If something chases the cow then it chases the bear. If something chases the lion then it does not chase the bear.
The lion does not chase the cow.
@0: The bear eats the cow.[(triple1)] The bear eats the lion.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear visits the lion.[(triple5)] The cow chases the bear.[(triple6)] The cow eats the bear.[(triple7)] The cow eats the lion.[(triple8)] The lion chases the bear.[(triple9 OR ((triple10) -> rule5))] The lion chases the cow.[(triple10)] The lion eats the bear.[(triple11)] The lion eats the cow.[(triple12)] The lion is not cold.[(triple13 OR ((triple1 triple8) -> rule2) OR ((triple12 triple8) -> rule2))] The lion is round.[(triple14)] The lion visits the bear.[(triple15)] @1: The lion visits the lion.[(((triple10) -> rule1))]