normal:#1 Vir
所与:G1(3) H1(2) H2(5)
E:GG,HHゆえにH1H2::E1(4)
D:GHゆえにG1H1::D1(3)、またG1H2::D2(8)
C:EH,DEゆえにE1H1::C1(10)
next;
A | B | C | D | E | F | G | H | |
---|---|---|---|---|---|---|---|---|
C1 10 | D2 8 | E1 4 | H2 5 | |||||
D1 3 | G1 3 | H1 2 |
所与:G1(3) H1(2) H2(5)
E:GG,HHゆえにH1H2::E1(4)
D:GHゆえにG1H1::D1(3)、またG1H2::D2(8)
C:EH,DEゆえにE1H1::C1(10)
next;
A | B | C | D | E | F | G | H | |
---|---|---|---|---|---|---|---|---|
C1 10 | D2 8 | E1 4 | H2 5 | |||||
D1 3 | G1 3 | H1 2 |