The lion is red. The lion needs the rabbit. The lion does not visit the rabbit. The rabbit is big. The rabbit is not red. The rabbit sees the lion. The rabbit visits the lion. If someone needs the lion and the lion is not round then the lion sees the rabbit. If the lion is not big and the lion is not red then the lion sees the rabbit. If someone is red and they visit the rabbit then they see the lion. If someone is nice and round then they need the lion. If someone visits the rabbit then the rabbit is big. If someone is round then they visit the lion. If someone needs the rabbit and they do not see the rabbit then they visit the lion. If someone is big and they visit the lion then the lion needs the rabbit.
The lion needs the rabbit.
@0: The lion does not visit the rabbit.[(triple3)] The lion is red.[(triple1)] The lion needs the rabbit.[(triple2 OR ((triple4 triple7) -> rule8))] The rabbit is big.[(triple4)] The rabbit is not red.[(triple5)] The rabbit sees the lion.[(triple6)] The rabbit visits the lion.[(triple7)]