The cow is not big. The cow is green. The cow is kind. The cow is nice. The cow needs the rabbit. The lion chases the cow. The lion is big. The lion sees the rabbit. The rabbit is green. The rabbit needs the cow. If something sees the rabbit and it does not chase the rabbit then the rabbit is green. If the lion chases the cow and the cow is green then the cow chases the lion. If the rabbit sees the cow then the rabbit does not chase the lion.
The cow does not chase the lion.
@0: The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is nice.[(triple4)] The cow is not big.[(triple1)] The cow needs the rabbit.[(triple5)] The lion chases the cow.[(triple6)] The lion is big.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit is green.[(triple9)] The rabbit needs the cow.[(triple10)] @1: The cow chases the lion.[(((triple6 triple2) -> rule2))]