The cat does not need the cow. The cow is not big. The cow likes the cat. The cow does not like the mouse. The cow needs the squirrel. The cow visits the cat. The cow visits the mouse. The mouse does not need the squirrel. The mouse visits the cat. The squirrel needs the cow. All kind things are big. If something likes the squirrel and it does not need the cow then the squirrel likes the mouse.
The mouse does not visit the cat.
@0: The cat does not need the cow.[(triple1)] The cow does not like the mouse.[(triple4)] The cow is not big.[(triple2)] The cow likes the cat.[(triple3)] The cow needs the squirrel.[(triple5)] The cow visits the cat.[(triple6)] The cow visits the mouse.[(triple7)] The mouse does not need the squirrel.[(triple8)] The mouse visits the cat.[(triple9)] The squirrel needs the cow.[(triple10)]