>>937
計算とかはできるんやが推論系がむずすぎる😢