The cow chases the rabbit. The cow is green. The cow is rough. The cow is round. The cow likes the rabbit. The rabbit chases the cow. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit likes the cow. If something chases the cow and the cow likes the rabbit then the rabbit chases the cow. If the cow likes the rabbit and the cow chases the rabbit then the rabbit is not green. If the rabbit chases the cow and the rabbit likes the cow then the rabbit does not need the cow. If something is kind and it does not chase the rabbit then the rabbit does not need the cow. If something needs the rabbit then the rabbit likes the cow. If something likes the cow and the cow is not green then the cow does not need the rabbit. If something is rough and it chases the rabbit then it does not need the cow. If the cow likes the rabbit and the cow does not need the rabbit then the rabbit is rough.
The rabbit does not like the cow.
@0: The cow chases the rabbit.[(triple1)] The cow is green.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow likes the rabbit.[(triple5)] The rabbit chases the cow.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is red.[(triple8)] The rabbit is round.[(triple9)] The rabbit likes the cow.[(triple10)] @1: The cow does not need the cow.[(((triple3 triple1) -> rule7))] The rabbit does not need the cow.[(((triple6 triple10) -> rule3))] The rabbit is not green.[(((triple5 triple1) -> rule2))]