The mouse is not green. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit is red. The rabbit does not see the mouse. The rabbit visits the mouse. If something is green then it sees the mouse. If something visits the mouse and it does not visit the rabbit then the rabbit likes the mouse.
The mouse sees the rabbit.
@0: The mouse is not green.[(triple1)] The mouse sees the rabbit.[(triple2)] The mouse visits the rabbit.[(triple3)] The rabbit does not see the mouse.[(triple6)] The rabbit is blue.[(triple4)] The rabbit is red.[(triple5)] The rabbit visits the mouse.[(triple7)]