The cow is red. The cow sees the mouse. The cow sees the tiger. The cow visits the mouse. The cow visits the tiger. The mouse is big. The mouse is kind. The mouse likes the cow. The mouse sees the cow. The mouse visits the cow. The mouse visits the tiger. The tiger is kind. If the mouse is round then the mouse is big. If someone sees the tiger and they are kind then they visit the cow.
The tiger is not kind.
@0: The cow is red.[(triple1)] The cow sees the mouse.[(triple2)] The cow sees the tiger.[(triple3)] The cow visits the mouse.[(triple4)] The cow visits the tiger.[(triple5)] The mouse is big.[(triple6)] The mouse is kind.[(triple7)] The mouse likes the cow.[(triple8)] The mouse sees the cow.[(triple9)] The mouse visits the cow.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger is kind.[(triple12)]