The cow chases the rabbit. The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is young. The cow needs the rabbit. The cow does not see the rabbit. The rabbit chases the cow. The rabbit is big. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is not young. The rabbit needs the cow. The rabbit does not see the cow. If someone is nice and they do not see the rabbit then the rabbit needs the cow. If someone is green and they see the rabbit then the rabbit needs the cow. If someone sees the rabbit then the rabbit chases the cow. If someone is nice and they do not need the rabbit then the rabbit does not chase the cow. If someone sees the cow then they do not chase the cow. If someone is kind then they chase the cow.
The cow does not see the cow.
@0: The cow chases the rabbit.[(triple1)] The cow does not see the rabbit.[(triple8)] The cow is big.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is young.[(triple6)] The cow needs the rabbit.[(triple7)] The rabbit chases the cow.[(triple9 OR ((triple12) -> rule6))] The rabbit does not see the cow.[(triple16)] The rabbit is big.[(triple10)] The rabbit is green.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is nice.[(triple13)] The rabbit is not young.[(triple14)] The rabbit needs the cow.[(triple15 OR ((triple5 triple8) -> rule1))] @1: The cow chases the cow.[(((triple4) -> rule6))]