実際は論理の枠組みに納めるところがいちばん大変なところやしな
白黒つかない命題が多すぎて