（（p→r）∧（q→s）∧（～r∧～s））→（～p∧～q）