the trident does tag historicism and does not gauge grease-gun.
sent1: the trident is diligent. sent2: there are explicable things. sent3: the speechwriter is a out-and-outer. sent4: the trident tags historicism but it does not gauge grease-gun if the fact that something is meretricious hold. sent5: if there exists something such that it does tag historicism then the ulster is diligent but it does not gauge grease-gun. sent6: if the ulster is diligent then the speechwriter is meretricious. sent7: the grease-gun is diligent. sent8: the ulster is diligent.
sent6 & sent8 -> int1: the speechwriter is meretricious.; int1 -> int2: there is something such that it is meretricious.; int2 & sent4 -> hypothesis;
$hypothesis$ = the trident does tag historicism and does not gauge grease-gun. ; $context$ = sent1: the trident is diligent. sent2: there are explicable things. sent3: the speechwriter is a out-and-outer. sent4: the trident tags historicism but it does not gauge grease-gun if the fact that something is meretricious hold. sent5: if there exists something such that it does tag historicism then the ulster is diligent but it does not gauge grease-gun. sent6: if the ulster is diligent then the speechwriter is meretricious. sent7: the grease-gun is diligent. sent8: the ulster is diligent. ; $proof$ = 
sent6 & sent8 -> int1: the speechwriter is meretricious.; int1 -> int2: there is something such that it is meretricious.; int2 & sent4 -> hypothesis; __PROVED__