ארבע ציפורים יושבות על ענף על ענף: ציפור צהובה, ציפור ירוקה, ושתי ציפורים כחולות. ידוע שמשמאל לציפור הירוקה ובצמוד לה יושבת ציפור כחולה, ושהציפור הכחולה האחרת יושבת מימין לציפור הצהובה ובצמוד לה. פרפר התיישב על הענף כך שמשמאלו 3 ציפורים ומימינו ציפור אחת כמתואר כך:

ציפור | פרפר | ציפור | ציפור | ציפור

מה ניתן לומר בוודאות אם ידוע שיש רק ציפור אחת בין הפרפר לאחת הציפורים הכחולות?