The cat eats the lion. The cat eats the rabbit. The cat needs the squirrel. The lion chases the cat. The lion is green. The lion is rough. The lion is young. The lion needs the cat. The lion needs the rabbit. The rabbit eats the lion. The rabbit is red. The rabbit is rough. The rabbit is young. The squirrel chases the cat. The squirrel eats the lion. The squirrel needs the lion. If something is nice and not green then it eats the lion. If something needs the lion then the lion eats the cat.
The lion is young.
@0: The cat eats the lion.[(triple1)] The cat eats the rabbit.[(triple2)] The cat needs the squirrel.[(triple3)] The lion chases the cat.[(triple4)] The lion is green.[(triple5)] The lion is rough.[(triple6)] The lion is young.[(triple7)] The lion needs the cat.[(triple8)] The lion needs the rabbit.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is red.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is young.[(triple13)] The squirrel chases the cat.[(triple14)] The squirrel eats the lion.[(triple15)] The squirrel needs the lion.[(triple16)] @1: The lion eats the cat.[(((triple16) -> rule2))]