お題:Aが真であるならばBが真である ことをプログラムしなさい。