Om 'n voorspelling wat aan 'n willekeurige hipotese behoort te versin kan 'n mens gebruik maak van as-dan tipe redenasies. 'n Mens begin met die aanname dat die hipotese waar is, en bedink dan die gevolge daarvan as dit waar sou wees. Die oomblik as 'n mens dan 'n gevolg bedink wat nie voor-die-hand-liggend is nie, dan het 'n mens 'n moontlike voorspelling beding van die nuwe hipotese. Byvoorbeeld: Einstein se vergelykings dat horlosies hulle nie gedra soos mense gedink het nie. Deur vanuit die aanname te redeneer dat die vergelykings waar is, kom 'n mens tot die gevolgtrekking dat 'n akkurate horlosie in 'n vinnige ruimteskip anders sou loop as 'n soortgelyke horlosie op die aarde. In 1905 toe Einstein se teorieë gepubliseer is, was ruimteskepe bloot fantasieë, maar intussen is verskeie toetse uitgevoer en almal is in ooreenstemming met Einstein se voorspellings.