The lion chases the mouse. The lion is blue. The lion is cold. The lion is not nice. The lion is not round. The lion is young. The lion sees the mouse. The lion does not visit the mouse. The mouse does not chase the lion. The mouse is not cold. The mouse is not nice. The mouse is round. The mouse is not young. The mouse sees the lion. The mouse does not visit the lion. If the lion visits the mouse and the lion is blue then the mouse does not visit the lion.
The mouse does not chase the mouse.
@0: The lion chases the mouse.[(triple1)] The lion does not visit the mouse.[(triple8)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is not nice.[(triple4)] The lion is not round.[(triple5)] The lion is young.[(triple6)] The lion sees the mouse.[(triple7)] The mouse does not chase the lion.[(triple9)] The mouse does not visit the lion.[(triple15)] The mouse is not cold.[(triple10)] The mouse is not nice.[(triple11)] The mouse is not young.[(triple13)] The mouse is round.[(triple12)] The mouse sees the lion.[(triple14)]