The cow is green. The cow likes the tiger. The cow sees the mouse. The mouse is big. The mouse is cold. The mouse is green. The mouse is nice. The mouse likes the tiger. The squirrel is cold. The squirrel is nice. The tiger is big. The tiger likes the mouse. The tiger sees the cow. The tiger sees the squirrel. The tiger does not visit the cow. If something likes the cow and the cow likes the tiger then the cow visits the tiger. If the tiger likes the squirrel and the squirrel does not like the tiger then the squirrel sees the mouse.
The cow does not visit the tiger.
@0: The cow is green.[(triple1)] The cow likes the tiger.[(triple2)] The cow sees the mouse.[(triple3)] The mouse is big.[(triple4)] The mouse is cold.[(triple5)] The mouse is green.[(triple6)] The mouse is nice.[(triple7)] The mouse likes the tiger.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] The tiger does not visit the cow.[(triple15)] The tiger is big.[(triple11)] The tiger likes the mouse.[(triple12)] The tiger sees the cow.[(triple13)] The tiger sees the squirrel.[(triple14)]