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