The cow does not chase the rabbit. The cow is big. The cow is not green. The cow is rough. The cow is round. The cow is young. The cow likes the rabbit. The cow visits the rabbit. The rabbit does not chase the cow. The rabbit is not big. The rabbit is green. The rabbit is rough. The rabbit is not round. The rabbit is young. The rabbit likes the cow. The rabbit does not visit the cow. If the rabbit chases the cow then the cow chases the rabbit. If someone chases the cow then the cow visits the rabbit. If someone is round then they do not chase the cow. If the rabbit chases the cow then the cow likes the rabbit. If someone visits the cow then they are young. If the rabbit chases the cow and the rabbit does not visit the cow then the cow is rough. If someone chases the cow and they do not chase the rabbit then the rabbit likes the cow. If someone visits the rabbit and they do not visit the cow then the rabbit likes the cow.
The rabbit is not round.
@0: The cow does not chase the rabbit.[(triple1)] The cow is big.[(triple2)] The cow is not green.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6)] The cow likes the rabbit.[(triple7)] The cow visits the rabbit.[(triple8)] The rabbit does not chase the cow.[(triple9)] The rabbit does not visit the cow.[(triple16)] The rabbit is green.[(triple11)] The rabbit is not big.[(triple10)] The rabbit is not round.[(triple13)] The rabbit is rough.[(triple12)] The rabbit is young.[(triple14)] The rabbit likes the cow.[(triple15)] @1: The cow does not chase the cow.[(((triple5) -> rule3))]