Closed hafuu closed 7 years ago
OK
a * b * c -> d
a -> b -> c -> d
(a * b) -> c -> d
NG
a * b -> c -> d
OK
a * b * c -> d
a -> b -> c -> d
(a * b) -> c -> d
NG
a * b -> c -> d