The bear is big. The lion is cold. The mouse does not visit the lion. If someone visits the mouse then the mouse does not need the bear.
The bear is not big.
@0: The bear is big.[(triple1)] The lion is cold.[(triple2)] The mouse does not visit the lion.[(triple3)]