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