the Sculptor overruns Episcopalianism.
sent1: the spanker is obvious if there is something such that it is patellar. sent2: if there is something such that the fact that it is not patellar and it damages arborolatry is wrong then the spanker is not unobvious. sent3: the Sculptor does not overrun Episcopalianism if the spanker is obvious. sent4: there is something such that that it is non-patellar thing that damages arborolatry is incorrect.
sent4 & sent2 -> int1: the spanker is obvious.; sent3 & int1 -> hypothesis;
$hypothesis$ = the Sculptor overruns Episcopalianism. ; $context$ = sent1: the spanker is obvious if there is something such that it is patellar. sent2: if there is something such that the fact that it is not patellar and it damages arborolatry is wrong then the spanker is not unobvious. sent3: the Sculptor does not overrun Episcopalianism if the spanker is obvious. sent4: there is something such that that it is non-patellar thing that damages arborolatry is incorrect. ; $proof$ = 
sent4 & sent2 -> int1: the spanker is obvious.; sent3 & int1 -> hypothesis; __DISPROVED__