The lion does not chase the mouse. The lion is green. The lion does not visit the mouse. The mouse does not chase the lion. The mouse eats the lion. The mouse is cold. The mouse visits the lion. If the mouse chases the lion then the mouse does not eat the lion. If someone chases the mouse and the mouse does not chase the lion then the lion is rough. If someone chases the mouse and they are not rough then they do not eat the lion.
The lion is not rough.
@0: The lion does not chase the mouse.[(triple1)] The lion does not visit the mouse.[(triple3)] The lion is green.[(triple2)] The mouse does not chase the lion.[(triple4)] The mouse eats the lion.[(triple5)] The mouse is cold.[(triple6)] The mouse visits the lion.[(triple7)]