The cow is rough. The mouse is kind. The mouse likes the tiger. The mouse visits the tiger. The rabbit is rough. The rabbit likes the cow. The rabbit does not visit the mouse. The tiger does not chase the mouse. The tiger chases the rabbit. The tiger visits the cow. If something is blue then it chases the cow.
The cow is green.
@0: The cow is rough.[(triple1)] The mouse is kind.[(triple2)] The mouse likes the tiger.[(triple3)] The mouse visits the tiger.[(triple4)] The rabbit does not visit the mouse.[(triple7)] The rabbit is rough.[(triple5)] The rabbit likes the cow.[(triple6)] The tiger chases the rabbit.[(triple9)] The tiger does not chase the mouse.[(triple8)] The tiger visits the cow.[(triple10)]