a<5/4 かつ a<2 かつ (a<-1 または 1<a)
↔(a<5/4 かつ a<2 かつ a<-1) または (a<5/4 かつ a<2 かつ 1<a)
↔a<-1 または 矛盾
↔a<-1