The cow chases the rabbit. The cow likes the rabbit. The cow visits the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is not blue. The rabbit does not like the cow. If someone likes the cow then the cow is green. If the rabbit does not visit the cow and the cow does not chase the rabbit then the rabbit is green. If the cow likes the rabbit then the cow is not red.
The cow is not green.
@0: The cow chases the rabbit.[(triple1)] The cow likes the rabbit.[(triple2)] The cow visits the rabbit.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit does not like the cow.[(triple7)] The rabbit is big.[(triple5)] The rabbit is not blue.[(triple6)] @1: The cow is not red.[(((triple2) -> rule3))]