premise: Človeška ribica je s 25 do 30 cm največja jamska žival na svetu ter edini jamski vretenčar v Evropi.
hypothesis: S 25 do 30 centimetri dolžine je proteus največja žival, živeča v jami, in edini jamski vretenčar v Evropi.