The bear visits the mouse. The cat does not visit the mouse. The cow likes the mouse. The mouse does not like the cat. If something needs the cat and the cat is not big then the cat needs the bear. If something is big then it needs the mouse. If something is kind and not young then it is round. If the mouse likes the cat then the cat visits the mouse. If something likes the cat then the cat is not cold. If something is cold and it needs the cow then the cow visits the mouse. If the cat is cold and the cat visits the bear then the bear does not need the cow. If something visits the cow and the cow visits the bear then it visits the mouse.
The bear is not round.
@0: The bear visits the mouse.[(triple1)] The cat does not visit the mouse.[(triple2)] The cow likes the mouse.[(triple3)] The mouse does not like the cat.[(triple4)]