The cat does not chase the mouse. The cat is big. The cat is green. The cow does not need the mouse. The cow visits the cat. The lion does not chase the cow. The lion does not visit the mouse. The mouse does not chase the cat. The mouse is green. The mouse needs the cow. The mouse needs the lion. The mouse visits the lion. If the mouse visits the cat and the mouse does not visit the lion then the cat is big. If something needs the cow and it does not visit the lion then it does not visit the cat. If the cow is not nice and the cow does not visit the cat then the cow is green.
The lion chases the cow.
@0: The cat does not chase the mouse.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cow does not need the mouse.[(triple4)] The cow visits the cat.[(triple5)] The lion does not chase the cow.[(triple6)] The lion does not visit the mouse.[(triple7)] The mouse does not chase the cat.[(triple8)] The mouse is green.[(triple9)] The mouse needs the cow.[(triple10)] The mouse needs the lion.[(triple11)] The mouse visits the lion.[(triple12)]