The lion is red. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The lion visits the rabbit. The mouse is big. The mouse is red. The mouse likes the rabbit. The mouse visits the lion. The rabbit is blue. The rabbit does not need the lion. The rabbit needs the mouse. If the lion does not like the mouse and the lion does not visit the rabbit then the rabbit needs the mouse. If someone visits the mouse then the mouse visits the rabbit.
The lion is not young.
@0: The lion is red.[(triple1)] The lion is young.[(triple2)] The lion likes the rabbit.[(triple3)] The lion needs the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The mouse is big.[(triple6)] The mouse is red.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse visits the lion.[(triple9)] The rabbit does not need the lion.[(triple11)] The rabbit is blue.[(triple10)] The rabbit needs the mouse.[(triple12)]