tazusa

由2判断：假设 阿德里安 -- 火腿，则 卡特---猪排，再由1可推 布福德---猪排，由3可推以上 假设错误；
   所以，卡特--火腿（不会变化，按照以上推论），阿德里安--猪排（由2推出，不会变化），那 布福德 的点菜不会有限制

  综上，布福德 昨天要的是火腿，今天要的是猪排；卡特--火腿、阿德里安--猪排 2者都不变。