切った三角柱

二等辺三角柱の直角部分を切った感じ

https://gyazo.com/e052b5ed750b0e271d6aa784670bddca

https://gyazo.com/41cab32ad87af9e4991e13dee417841b

左の端点なしの変数と右の端点なしの変数が自由な値を取る

色が間違ってるなぁ

定数割当時も特に問題は起こらないのでこの配色は「言い過ぎ」

一番上の赤い辺変数は緑と青に挟まれているから赤にしたのだろう。

でもこのロジックは正しくはない。

赤にすれば上手くいくので十分条件ではあるが、必ず赤である必要がないので必要ではない