The lion is rough. The lion likes the rabbit. The lion needs the rabbit. The rabbit eats the lion. The rabbit is big. The rabbit is round. The rabbit likes the lion. If the lion eats the rabbit then the lion likes the rabbit. All red, rough people are big. If someone needs the lion then the lion is big. If someone needs the lion and they like the lion then they are round. If someone needs the lion then they eat the lion. If someone likes the lion then they like the rabbit. If someone eats the lion and they eat the rabbit then the lion is rough. If someone is big and red then they eat the rabbit.
The rabbit is cold.
@0: The lion is rough.[(triple1)] The lion likes the rabbit.[(triple2)] The lion needs the rabbit.[(triple3)] The rabbit eats the lion.[(triple4)] The rabbit is big.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the lion.[(triple7)] @1: The rabbit likes the rabbit.[(((triple7) -> rule6))]