there is something such that the fact that it is cervine and does not blinker Serkin is not true.
sent1: there exists something such that it does not queue semitrailer. sent2: the fact that the cleaver is cervine but it does not blinker Serkin is not correct if there exists something such that it does not queue semitrailer. sent3: there exists something such that it queues semitrailer. sent4: there is something such that it is cervine and it does not blinker Serkin.
sent1 & sent2 -> int1: the fact that the cleaver is cervine and does not blinker Serkin is wrong.; int1 -> hypothesis;
$hypothesis$ = there is something such that the fact that it is cervine and does not blinker Serkin is not true. ; $context$ = sent1: there exists something such that it does not queue semitrailer. sent2: the fact that the cleaver is cervine but it does not blinker Serkin is not correct if there exists something such that it does not queue semitrailer. sent3: there exists something such that it queues semitrailer. sent4: there is something such that it is cervine and it does not blinker Serkin. ; $proof$ = 
sent1 & sent2 -> int1: the fact that the cleaver is cervine and does not blinker Serkin is wrong.; int1 -> hypothesis; __PROVED__