The lion does not eat the rabbit. The lion is not blue. The lion is not cold. The lion is not green. The lion is nice. The lion does not need the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is kind. The rabbit likes the lion. If someone eats the lion and they do not need the rabbit then they do not need the lion. If someone likes the lion and the lion needs the rabbit then the lion is not nice. If someone eats the lion and they need the rabbit then the lion eats the rabbit. If someone likes the lion then the lion likes the rabbit. If someone likes the rabbit then they eat the lion. If someone needs the lion and the lion likes the rabbit then they like the lion.
The rabbit likes the rabbit.
@0: The lion does not eat the rabbit.[(triple1)] The lion does not need the rabbit.[(triple6)] The lion is nice.[(triple5)] The lion is not blue.[(triple2)] The lion is not cold.[(triple3)] The lion is not green.[(triple4)] The rabbit eats the lion.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is kind.[(triple9)] The rabbit likes the lion.[(triple10)] @1: The lion likes the rabbit.[(((triple10) -> rule4))] @2: The lion eats the lion.[(((((triple10) -> rule4)) -> rule5))] @3: The lion does not need the lion.[(((((((triple10) -> rule4)) -> rule5) triple6) -> rule1))]