there is something such that if it is a Malabo the fact that it is a speed and it is not a kind of a reversal does not hold.
sent1: there is something such that if it is a kind of a Topeka then that it is lexicostatistic and it does not instrument squirrelfish is wrong. sent2: that something does speed and is not a reversal is false if it is a Malabo. sent3: something is a speed and not a reversal if it is a Malabo.
sent2 -> int1: if the twill is a Malabo that it does speed and it is not a kind of a reversal is not right.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a Malabo the fact that it is a speed and it is not a kind of a reversal does not hold. ; $context$ = sent1: there is something such that if it is a kind of a Topeka then that it is lexicostatistic and it does not instrument squirrelfish is wrong. sent2: that something does speed and is not a reversal is false if it is a Malabo. sent3: something is a speed and not a reversal if it is a Malabo. ; $proof$ = 
sent2 -> int1: if the twill is a Malabo that it does speed and it is not a kind of a reversal is not right.; int1 -> hypothesis; __PROVED__