空間形式圖形推理?