The cow eats the lion. The cow is not rough. The cow needs the lion. The cow needs the rabbit. The lion does not eat the rabbit. The rabbit likes the cow. The rabbit likes the lion. If someone likes the lion then the lion needs the cow.
The lion does not eat the rabbit.
@0: The cow eats the lion.[(triple1)] The cow is not rough.[(triple2)] The cow needs the lion.[(triple3)] The cow needs the rabbit.[(triple4)] The lion does not eat the rabbit.[(triple5)] The rabbit likes the cow.[(triple6)] The rabbit likes the lion.[(triple7)] @1: The lion needs the cow.[(((triple7) -> rule1))]