Напишите программный код для блок-схемы. ; )

Рассуждение №1 а)  пусть в первом высказывании истинно первое утверждение и вася   - первый. тогда утверждение, что  юра второй - ложно, следовательно юра не второй. б) если вася первый, то в четвертом высказывании утверждение о том, что гриша первый ложно. следовательно гриша не первый, а юра - четвертый. в) если юра четвертый, то в пятом высказывании ложно утверждение, что иван второй. г) если иван не  второй, то в третьем высказывании истинно утверждение, что гриша четвертый. но в б) мы пришли к выводу, что четвертый юра, а двое не могут быть одновременно четвертыми. тогда утверждение а) о том, что вася первый - ложно и надо идти другим путем. рассуждение №2 а)  пусть в первом высказывании истинно второе утверждение и вася    не  первый, а юра - второй. б) если юра второй, то в четвертом высказывании утверждение что юра четвертый ложно, следовательно, истинно утверждение о том, что гриша первый. в) если гриша первый, то в третьем высказывании ложно утверждение о том, что гриша четвертый, но тогда истинно утверждение, что иван второй. г) утверждение, что  иван второй, противоречит выводу а), где принимается, что второй юра. следовательно, допущение что юра второй приводит нас к противоречию. итог: мы получаем противоречие, полагая, что любое из двух утверждений в высказывании 1 истинно, следовательно, имеются противоречия в условии и она не может быть решена.