that there is something such that if it does open it is a Landsteiner does not hold.
sent1: if the broadsword does open then it is a Landsteiner.
sent1 -> hypothesis;
$hypothesis$ = that there is something such that if it does open it is a Landsteiner does not hold. ; $context$ = sent1: if the broadsword does open then it is a Landsteiner. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__