The mouse visits the squirrel. The squirrel is red. The tiger is green. If someone needs the squirrel and they do not like the mouse then they do not like the tiger. If someone needs the tiger then they need the mouse. If someone is green and they do not need the tiger then the tiger visits the squirrel. If someone visits the tiger then the tiger does not visit the squirrel. If someone visits the squirrel and they do not like the mouse then the mouse is green. If someone is big and they like the tiger then the tiger is blue.
The tiger is not blue.
@0: The mouse visits the squirrel.[(triple1)] The squirrel is red.[(triple2)] The tiger is green.[(triple3)]