the dancing-master burglarizes Mosul.
sent1: if something is orthodox it does burglarize Mosul. sent2: if there exists something such that it is not orthodox then the metal does not orchestrate roulette. sent3: the metal is non-asleep. sent4: there exists something such that it is orthodox. sent5: that the metal orchestrates roulette and/or is conspiratorial is not right if there exists something such that that it is unorthodox is right. sent6: something that is enzymatic does burglarize Mosul. sent7: if the roulette orchestrates roulette the fact that the metal is orthodox hold. sent8: there is something such that it is not orthodox. sent9: the metal is enzymatic and it is a Menninger if that it is not asleep is true. sent10: if the fact that either the metal does orchestrate roulette or it is not non-conspiratorial or both is not true then the dancing-master does not burglarize Mosul. sent11: if that that something is non-conspiratorial thing that does orchestrate roulette hold is incorrect then it is orthodox. sent12: the metal does not orchestrate roulette. sent13: the fact that something is not conspiratorial but it orchestrates roulette is incorrect if the fact that it does burglarize Mosul hold.
sent8 & sent5 -> int1: that the metal orchestrates roulette or it is conspiratorial or both is incorrect.; sent10 & int1 -> hypothesis;
the fact that the dancing-master skips or it is plus or both is wrong.
sent11 -> int2: the metal is orthodox if the fact that it is non-conspiratorial thing that orchestrates roulette is wrong.; sent13 -> int3: if the metal burglarizes Mosul then the fact that it is not conspiratorial and orchestrates roulette is wrong.; sent6 -> int4: the metal burglarizes Mosul if it is not non-enzymatic.; sent9 & sent3 -> int5: the metal is enzymatic and is a Menninger.; int5 -> int6: the metal is enzymatic.; int4 & int6 -> int7: the metal does burglarize Mosul.; int3 & int7 -> int8: the fact that the metal is not conspiratorial but it orchestrates roulette does not hold.; int2 & int8 -> int9: the metal is orthodox.; int9 -> int10: there is something such that it is orthodox.;
$hypothesis$ = the dancing-master burglarizes Mosul. ; $context$ = sent1: if something is orthodox it does burglarize Mosul. sent2: if there exists something such that it is not orthodox then the metal does not orchestrate roulette. sent3: the metal is non-asleep. sent4: there exists something such that it is orthodox. sent5: that the metal orchestrates roulette and/or is conspiratorial is not right if there exists something such that that it is unorthodox is right. sent6: something that is enzymatic does burglarize Mosul. sent7: if the roulette orchestrates roulette the fact that the metal is orthodox hold. sent8: there is something such that it is not orthodox. sent9: the metal is enzymatic and it is a Menninger if that it is not asleep is true. sent10: if the fact that either the metal does orchestrate roulette or it is not non-conspiratorial or both is not true then the dancing-master does not burglarize Mosul. sent11: if that that something is non-conspiratorial thing that does orchestrate roulette hold is incorrect then it is orthodox. sent12: the metal does not orchestrate roulette. sent13: the fact that something is not conspiratorial but it orchestrates roulette is incorrect if the fact that it does burglarize Mosul hold. ; $proof$ = 
sent8 & sent5 -> int1: that the metal orchestrates roulette or it is conspiratorial or both is incorrect.; sent10 & int1 -> hypothesis; __DISPROVED__