実用的推論のスキーマ