that there is something such that if it does not cope quellung and programs latitudinarian then it is a wolverine does not hold.
sent1: if something does not cope quellung and does program latitudinarian then it is a wolverine.
sent1 -> int1: if the latitudinarian does not cope quellung and does program latitudinarian it is a wolverine.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not cope quellung and programs latitudinarian then it is a wolverine does not hold. ; $context$ = sent1: if something does not cope quellung and does program latitudinarian then it is a wolverine. ; $proof$ = 
sent1 -> int1: if the latitudinarian does not cope quellung and does program latitudinarian it is a wolverine.; int1 -> hypothesis; __DISPROVED__