The cow is big. The mouse is green. The mouse needs the tiger. The mouse visits the rabbit. The rabbit is green. The rabbit needs the tiger. The rabbit visits the cow. The tiger eats the mouse. The tiger needs the cow. The tiger visits the rabbit. If something is kind then it needs the cow. If something is round and it visits the tiger then the tiger needs the mouse.
The cow is not big.
@0: The cow is big.[(triple1)] The mouse is green.[(triple2)] The mouse needs the tiger.[(triple3)] The mouse visits the rabbit.[(triple4)] The rabbit is green.[(triple5)] The rabbit needs the tiger.[(triple6)] The rabbit visits the cow.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger needs the cow.[(triple9)] The tiger visits the rabbit.[(triple10)]