The cat eats the tiger. The cat is not green. The mouse is green. The mouse sees the tiger. The tiger is not rough. The tiger is young. The tiger likes the mouse. If something eats the mouse then it does not like the cat. If something likes the tiger and it is green then the tiger is not green.
The mouse does not eat the mouse.
@0: The cat eats the tiger.[(triple1)] The cat is not green.[(triple2)] The mouse is green.[(triple3)] The mouse sees the tiger.[(triple4)] The tiger is not rough.[(triple5)] The tiger is young.[(triple6)] The tiger likes the mouse.[(triple7)]