The bear eats the rabbit. The cat eats the rabbit. The cat is young. The cow chases the rabbit. The cow eats the rabbit. The cow is big. The cow is round. The cow is young. The cow visits the rabbit. The rabbit is young. If the rabbit eats the bear and the rabbit is not round then the rabbit is not blue. If something eats the cow and the cow does not visit the rabbit then the cow eats the bear. If the cat eats the rabbit then the rabbit is not big. If something visits the cow and the cow chases the rabbit then the cow does not visit the bear. If the rabbit is young then the rabbit visits the bear. If the cow does not visit the bear then the bear chases the cat. If something is round then it chases the cow. If something chases the cat and it is blue then the cat is round.
The rabbit eats the cow.
@0: The bear eats the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is young.[(triple3)] The cow chases the rabbit.[(triple4)] The cow eats the rabbit.[(triple5)] The cow is big.[(triple6)] The cow is round.[(triple7)] The cow is young.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit is young.[(triple10)] @1: The cow chases the cow.[(((triple7) -> rule7))] The rabbit is not big.[(((triple2) -> rule3))] The rabbit visits the bear.[(((triple10) -> rule5))]