推論式

すいろんしき