The mouse is nice. The mouse is not rough. The mouse is young. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit chases the tiger. The rabbit does not need the tiger. The tiger does not chase the mouse. The tiger chases the rabbit. The tiger is blue. The tiger needs the rabbit. The tiger visits the rabbit. If someone chases the rabbit and the rabbit visits the mouse then the rabbit is blue.
The rabbit is not blue.
@0: The mouse is nice.[(triple1)] The mouse is not rough.[(triple2)] The mouse is young.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse visits the rabbit.[(triple5)] The rabbit chases the tiger.[(triple6)] The rabbit does not need the tiger.[(triple7)] The tiger chases the rabbit.[(triple9)] The tiger does not chase the mouse.[(triple8)] The tiger is blue.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger visits the rabbit.[(triple12)]