The lion eats the rabbit. The lion is blue. The lion visits the rabbit. The rabbit eats the lion. The rabbit is nice. The rabbit needs the lion. The rabbit visits the lion. If something is nice and it does not visit the lion then the lion does not eat the rabbit. If the rabbit visits the lion and the rabbit eats the lion then the rabbit needs the lion. If something eats the lion and it does not eat the rabbit then it is young.
The rabbit is not young.
@0: The lion eats the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit eats the lion.[(triple4)] The rabbit is nice.[(triple5)] The rabbit needs the lion.[(triple6 OR ((triple7 triple4) -> rule2))] The rabbit visits the lion.[(triple7)]