The cow is green. The cow visits the mouse. The mouse is green. The mouse is red. The mouse is round. The mouse needs the cow. The mouse does not visit the cow. If the mouse is big and the mouse sees the cow then the cow does not need the mouse.
The cow visits the mouse.
@0: The cow is green.[(triple1)] The cow visits the mouse.[(triple2)] The mouse does not visit the cow.[(triple7)] The mouse is green.[(triple3)] The mouse is red.[(triple4)] The mouse is round.[(triple5)] The mouse needs the cow.[(triple6)]