there exists something such that if it does overtire it corkscrews superstructure.
sent1: if the superconductivity does corkscrew Xanthium then the fact that it does catabolize is right. sent2: if the superconductivity does overtire then it is anticyclonic. sent3: something does corkscrew superstructure if it catabolizes. sent4: something that overtires does catabolize. sent5: if the superconductivity is a uracil it perambulates.
sent4 -> int1: if the superconductivity does overtire it does catabolize.; void -> assump1: Let's assume that the superconductivity overtires.; int1 & assump1 -> int2: the superconductivity does catabolize.; sent3 -> int3: if that the superconductivity catabolizes is correct it does corkscrew superstructure.; int2 & int3 -> int4: the superconductivity corkscrews superstructure.; [assump1] & int4 -> int5: if the superconductivity overtires it corkscrews superstructure.; int5 -> hypothesis;
$hypothesis$ = there exists something such that if it does overtire it corkscrews superstructure. ; $context$ = sent1: if the superconductivity does corkscrew Xanthium then the fact that it does catabolize is right. sent2: if the superconductivity does overtire then it is anticyclonic. sent3: something does corkscrew superstructure if it catabolizes. sent4: something that overtires does catabolize. sent5: if the superconductivity is a uracil it perambulates. ; $proof$ = 
sent4 -> int1: if the superconductivity does overtire it does catabolize.; void -> assump1: Let's assume that the superconductivity overtires.; int1 & assump1 -> int2: the superconductivity does catabolize.; sent3 -> int3: if that the superconductivity catabolizes is correct it does corkscrew superstructure.; int2 & int3 -> int4: the superconductivity corkscrews superstructure.; [assump1] & int4 -> int5: if the superconductivity overtires it corkscrews superstructure.; int5 -> hypothesis; __PROVED__