Так как Петя не Петров, Серёжа не Сергеев, а Ваня не Иванов, то можно составить таблицу. Нам известно, что Серёжа не Сергеев, и живёт в одном доме с Петровым, значит Серёжа Иванов. Нам известно, что Петя не Петров, значит Петя Сергеев, и следовательно Ваня Петров.