The bear is kind. The bear sees the tiger. The bear visits the mouse. The cow is kind. The cow visits the bear. The mouse eats the bear. The mouse is green. The mouse sees the tiger. The mouse visits the bear. The tiger eats the bear. The tiger sees the mouse. The tiger visits the cow. If something is red then it visits the bear. If something is kind and it eats the cow then it is red.
The bear eats the tiger.
@0: The bear is kind.[(triple1)] The bear sees the tiger.[(triple2)] The bear visits the mouse.[(triple3)] The cow is kind.[(triple4)] The cow visits the bear.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is green.[(triple7)] The mouse sees the tiger.[(triple8)] The mouse visits the bear.[(triple9)] The tiger eats the bear.[(triple10)] The tiger sees the mouse.[(triple11)] The tiger visits the cow.[(triple12)]