The cat is big. The lion is big. The rabbit is not kind. If something is blue and it needs the rabbit then it visits the rabbit. If something eats the lion then it is blue. If the rabbit visits the cat and the cat does not eat the lion then the cat does not need the rabbit. If something needs the rabbit and the rabbit eats the cat then it does not visit the cat. If something needs the rabbit and it does not eat the lion then the rabbit is not red. If something visits the rabbit then the rabbit visits the cat.
The rabbit needs the lion.
@0: The cat is big.[(triple1)] The lion is big.[(triple2)] The rabbit is not kind.[(triple3)]