#推論の条件整理