the four-pounder converts.
sent1: if the Scythian clocks palimpsest then the four-pounder does convert. sent2: the Scythian clocks palimpsest if that there is something such that that it is not a kind of a raiser and clocks Reoviridae is false is right. sent3: there is something such that the fact that it is not a raiser and it clocks Reoviridae does not hold.
sent3 & sent2 -> int1: the Scythian does clock palimpsest.; sent1 & int1 -> hypothesis;
$hypothesis$ = the four-pounder converts. ; $context$ = sent1: if the Scythian clocks palimpsest then the four-pounder does convert. sent2: the Scythian clocks palimpsest if that there is something such that that it is not a kind of a raiser and clocks Reoviridae is false is right. sent3: there is something such that the fact that it is not a raiser and it clocks Reoviridae does not hold. ; $proof$ = 
sent3 & sent2 -> int1: the Scythian does clock palimpsest.; sent1 & int1 -> hypothesis; __PROVED__