the fact that there is something such that if it is not galactic and is a kind of a cristobalite that it is not a work-shirt is not incorrect does not hold.
sent1: if the congealment is galactic thing that is a cristobalite it is not a work-shirt. sent2: the congealment is insecure if it is not a kind of a cristobalite and it is a walkabout. sent3: if something is not galactic but it is a kind of a cristobalite it is not a work-shirt. sent4: if something that is not galactic is a kind of a cristobalite then it is a work-shirt.
sent3 -> int1: if the congealment is both not galactic and a cristobalite it is not a work-shirt.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is not galactic and is a kind of a cristobalite that it is not a work-shirt is not incorrect does not hold. ; $context$ = sent1: if the congealment is galactic thing that is a cristobalite it is not a work-shirt. sent2: the congealment is insecure if it is not a kind of a cristobalite and it is a walkabout. sent3: if something is not galactic but it is a kind of a cristobalite it is not a work-shirt. sent4: if something that is not galactic is a kind of a cristobalite then it is a work-shirt. ; $proof$ = 
sent3 -> int1: if the congealment is both not galactic and a cristobalite it is not a work-shirt.; int1 -> hypothesis; __DISPROVED__