чисто логически это утверждение некорректно. Поэтому независимо от того, соответствует это утверждение истине или нет, он не мог его сделать, придя к нему чисто логическим выводом.
Но это и не доказательство отсутствия, если что. Потому что рассматривается не генеральная совокупность, а конкретная лимитированная выборка