The cow sees the lion. The lion eats the cow. The lion eats the rabbit. The lion needs the cow. The lion needs the rabbit. The rabbit eats the lion. The rabbit is round. If someone eats the cow and the cow eats the lion then the cow is nice. Round people are green. If someone eats the rabbit then they are round. If the lion eats the cow and the cow needs the lion then the cow sees the lion. If someone eats the lion then they need the rabbit. If someone needs the lion and they are nice then they need the rabbit. If someone eats the lion and they need the cow then the cow sees the rabbit. If the rabbit is rough and the rabbit is round then the rabbit needs the cow.
The lion needs the rabbit.
@0: The cow sees the lion.[(triple1)] The lion eats the cow.[(triple2)] The lion eats the rabbit.[(triple3)] The lion needs the cow.[(triple4)] The lion needs the rabbit.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is round.[(triple7)] @1: The lion is round.[(((triple3) -> rule3))] The rabbit is green.[(((triple7) -> rule2))] The rabbit needs the rabbit.[(((triple6) -> rule5))] @2: The lion is green.[(((((triple3) -> rule3)) -> rule2))]