the fact that there exists something such that if the fact that it is a kind of a Brachycome and it is not a kind of a intercostal is not true it is a theremin does not hold.
sent1: there exists something such that if it is not a Brachycome it is a kind of a theremin. sent2: if that the corrective is a kind of a Brachycome and is a intercostal is false then it is a theremin. sent3: that the corrective is a kind of the theremin if the corrective is not a Brachycome is right. sent4: if the corrective is a Brachycome but it is not a intercostal it is a theremin. sent5: the corrective is a theremin if that the fact that it is a Brachycome and it is not a intercostal is correct is not true.
sent5 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is a kind of a Brachycome and it is not a kind of a intercostal is not true it is a theremin does not hold. ; $context$ = sent1: there exists something such that if it is not a Brachycome it is a kind of a theremin. sent2: if that the corrective is a kind of a Brachycome and is a intercostal is false then it is a theremin. sent3: that the corrective is a kind of the theremin if the corrective is not a Brachycome is right. sent4: if the corrective is a Brachycome but it is not a intercostal it is a theremin. sent5: the corrective is a theremin if that the fact that it is a Brachycome and it is not a intercostal is correct is not true. ; $proof$ = 
sent5 -> hypothesis; __DISPROVED__