The bear does not eat the lion. The bear visits the rabbit. The cow chases the bear. The cow chases the rabbit. The cow eats the rabbit. The cow is rough. The lion chases the rabbit. The lion eats the bear. The lion eats the rabbit. The rabbit is cold. If someone visits the bear and they are cold then the bear is blue. If someone chases the bear and the bear eats the cow then they do not visit the lion. If the lion visits the cow and the lion is not kind then the lion visits the rabbit. If the lion is blue and the lion is rough then the lion visits the bear. If someone chases the lion and the lion visits the cow then the lion visits the bear. Kind people are rough. If someone visits the cow then the cow eats the lion. If someone eats the bear then the bear visits the cow.
The cow does not chase the rabbit.
@0: The bear does not eat the lion.[(triple1)] The bear visits the rabbit.[(triple2)] The cow chases the bear.[(triple3)] The cow chases the rabbit.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is rough.[(triple6)] The lion chases the rabbit.[(triple7)] The lion eats the bear.[(triple8)] The lion eats the rabbit.[(triple9)] The rabbit is cold.[(triple10)] @1: The bear visits the cow.[(((triple8) -> rule8))] @2: The cow eats the lion.[(((((triple8) -> rule8)) -> rule7))]