if that the footbridge is a splice is right it does thrust sinuosity.
sent1: something that is a splice does thrust sinuosity. sent2: if something is an antagonist then it is a kind of a nihil. sent3: if something is a chant then it is a kind of a mere. sent4: if something is alkaline then it is a Vesey. sent5: that if the footbridge heals symbology then the footbridge thrusts sinuosity is right.
sent1 -> hypothesis;
if the stenographer is a chant it is a mere.
sent3 -> hypothesis;
$hypothesis$ = if that the footbridge is a splice is right it does thrust sinuosity. ; $context$ = sent1: something that is a splice does thrust sinuosity. sent2: if something is an antagonist then it is a kind of a nihil. sent3: if something is a chant then it is a kind of a mere. sent4: if something is alkaline then it is a Vesey. sent5: that if the footbridge heals symbology then the footbridge thrusts sinuosity is right. ; $proof$ = 
sent1 -> hypothesis; __PROVED__