The cow needs the lion. The cow visits the mouse. The lion is not big. The lion is kind. The lion is nice. The mouse is red. The mouse needs the lion. The mouse sees the cow. The mouse sees the lion. The mouse visits the lion. If someone sees the mouse then the mouse is nice. If someone visits the mouse and they visit the lion then the mouse needs the lion.
The cow does not visit the mouse.
@0: The cow needs the lion.[(triple1)] The cow visits the mouse.[(triple2)] The lion is kind.[(triple4)] The lion is nice.[(triple5)] The lion is not big.[(triple3)] The mouse is red.[(triple6)] The mouse needs the lion.[(triple7)] The mouse sees the cow.[(triple8)] The mouse sees the lion.[(triple9)] The mouse visits the lion.[(triple10)]