The cow is not big. The cow needs the rabbit. The cow does not visit the lion. The cow visits the rabbit. The lion chases the cow. The lion does not chase the rabbit. The lion visits the cow. The lion visits the rabbit. The rabbit is blue. The rabbit visits the lion. If something needs the rabbit then the rabbit chases the lion.
The cow is not round.
@0: The cow does not visit the lion.[(triple3)] The cow is not big.[(triple1)] The cow needs the rabbit.[(triple2)] The cow visits the rabbit.[(triple4)] The lion chases the cow.[(triple5)] The lion does not chase the rabbit.[(triple6)] The lion visits the cow.[(triple7)] The lion visits the rabbit.[(triple8)] The rabbit is blue.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The rabbit chases the lion.[(((triple2) -> rule1))]