The lion eats the rabbit. The lion is big. The lion is blue. The lion likes the rabbit. The lion needs the rabbit. The rabbit is kind. The rabbit likes the lion. If the rabbit is kind and the rabbit eats the lion then the lion eats the rabbit. If the lion likes the rabbit then the lion is blue. If something is kind and it eats the lion then the lion eats the rabbit. If the rabbit eats the lion then the rabbit needs the lion. If something is kind and it needs the lion then it needs the rabbit. If something eats the lion and it is kind then it likes the lion.
The lion eats the lion.
@0: The lion eats the rabbit.[(triple1)] The lion is big.[(triple2)] The lion is blue.[(triple3 OR ((triple4) -> rule2))] The lion likes the rabbit.[(triple4)] The lion needs the rabbit.[(triple5)] The rabbit is kind.[(triple6)] The rabbit likes the lion.[(triple7)]