11,14より、
二番目は(x,e,x,x,x)-16
4,9より、
(x,c,a,x,x)は(x,d,x,x,x)の前-17
11,16,27より、(x,e,x,x,x)≠(x,c,a,x,x),(x,d,x,x,x)なので、
{三番目は(x,c,a,x,x),四番目は(x,d,x,x,x)}または、{四番目は(x,c,a,x,x),五番目は(x,d,x,x,x)}
10より、(x,x,d,x,x)≠(x,c,a,x,x)なので、
四番目は(x,c,a,x,x),五番目は(x,d,x,x,x)-18
11,16,10,18より、
一番目は(c,x,x,x,x),二番目は(x,e,x,x,x),三番目は(x,x,d,x,x),四番目は(x,c,a,x,x),五番目は(x,d,x,x,x)
{(c,x,x,x,x),(x,e,x,x,x),(x,x,d,x,x),(x,c,a,x,x),(x,d,x,x,x)}-19と書く
1,19より、(a,a,x,x,x)≠(c,x,x,x,x),(x,e,x,x,x),(x,c,a,x,x),(x,d,x,x,x)なので、
{(c,x,x,x,x),(x,e,x,x,x),(a,a,d,x,x),(x,c,a,x,x),(x,d,x,x,x)}-20
6,20より、(x,b,x,e,x)≠(x,e,x,x,x),(a,a,d,x,x),(x,c,a,x,x),(x,d,x,x,x)なので、
{(c,b,x,e,x),(x,e,x,x,x),(a,a,d,x,x),(x,c,a,x,x),(x,d,x,x,x)}-21
13,21より、
{(c,b,x,e,x),(x,e,x,x,c),(a,a,d,x,x),(x,c,a,x,x),(x,d,x,x,x)}-22