[45-4]
c: ~(c & d)
1: ~a
2: (a v b) < -> c
3: ~b

Luke started a weight-loss program. the first week, he lost x pounds. the second week, he lost pounds less than times the pounds he lost the first week. the third week, he lost 1 pound more than of the pounds he lost the first week. liam started a weight-loss program when luke did. the first week, he lost 1 pound less than times the pounds luke lost the first week. the second week, he lost 4 pounds less than times the pounds luke lost the first week. the third week, he lost pound more than times the pounds luke lost the first week.