The cat eats the lion. The cat is green. The cat is nice. The cat is round. The cat needs the lion. The lion eats the cat. The lion is big. The lion is cold. The lion is round. The lion needs the cat. If something needs the cat then it eats the lion.
The lion eats the lion.
@0: The cat eats the lion.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4)] The cat needs the lion.[(triple5)] The lion eats the cat.[(triple6)] The lion is big.[(triple7)] The lion is cold.[(triple8)] The lion is round.[(triple9)] The lion needs the cat.[(triple10)] @1: The lion eats the lion.[(((triple10) -> rule1))]