Ok, nach deiner neuen Interpretation wird es nicht besser:
Peter: Ich kenne die Zahlen nicht.
Sein Produkt ist keine Primzahl.
Simon: Das brauchst Du mir nicht zu sagen, denn das wusste ich schon.
Die Summe ist nicht als 'Primzahl + 1' darstellbar, i.e. die Summe ist nicht {3,4,6,8,12,14,18,...}\{3, 4, 6, 8, 12, 14, 18, ...\}{3,4,6,8,12,14,18,...}
Peter: Dann kenne ich die Zahlen jetzt.
Peter ist in der Lage alle Teilerpaare nun bis auf eines zu reduzieren, da alle anderen der Summe einer Primzahl + 1 entsprechen. Jedoch impliziert dies auch dass alle anderen Teilerpaare eine gerade Summe haben, das Produkt ist also entweder durch vier teilbar oder ungerade.
Simon: Ich kenne sie jetzt auch.
Der Fakt dass das Produkt nur ein passendes Teilerpaar hat ermöglicht nun Simon (durch Bruteforce?) die Zahlen zu finden.
Daniel: Ich kenne die beiden Zahlen noch nicht. Ich kann nur eine Zahl vermuten, die wahrscheinlich dabei ist, aber sicher weiß ich's nicht.
Eine Zahl kann in seiner Liste ({1,1+s},{2,2+s}...\{1, 1+s\}, \{2, 2+s\}...{1,1+s},{2,2+s}...) nur zweimal vorkommen. Das heißt dass er genau drei Ergebnisse haben muss, wobei in zwei dieselbe Zahl vorhanden ist.