the express is fascista.
sent1: the interrupt is a bronchospasm. sent2: if there exists something such that it does dehydrogenate lady's-eardrop then the express is a lightning and it is a bronchospasm. sent3: if something is a lightning it is a kind of a fascista. sent4: the express is a meeting that does depose masjid if something is a bronchospasm. sent5: something dehydrogenates lady's-eardrop. sent6: the paddock is a lightning. sent7: the express is a bronchospasm. sent8: if the fact that something is not a kind of a bronchospasm and it is not a lightning is false it does not dehydrogenate lady's-eardrop. sent9: the express is a kind of a bronchospasm if there exists something such that it dehydrogenates lady's-eardrop. sent10: if the express is facultative then the fact that it dehydrogenates lady's-eardrop is right. sent11: there are bright things.
sent5 & sent2 -> int1: the express is a lightning and it is a bronchospasm.; int1 -> int2: the express is a lightning.; sent3 -> int3: if the express is a kind of a lightning then it is a kind of a fascista.; int2 & int3 -> hypothesis;
the express is not a kind of a fascista.
sent8 -> int4: the brickkiln does not dehydrogenate lady's-eardrop if the fact that it is both not a bronchospasm and not a lightning is not right.;
$hypothesis$ = the express is fascista. ; $context$ = sent1: the interrupt is a bronchospasm. sent2: if there exists something such that it does dehydrogenate lady's-eardrop then the express is a lightning and it is a bronchospasm. sent3: if something is a lightning it is a kind of a fascista. sent4: the express is a meeting that does depose masjid if something is a bronchospasm. sent5: something dehydrogenates lady's-eardrop. sent6: the paddock is a lightning. sent7: the express is a bronchospasm. sent8: if the fact that something is not a kind of a bronchospasm and it is not a lightning is false it does not dehydrogenate lady's-eardrop. sent9: the express is a kind of a bronchospasm if there exists something such that it dehydrogenates lady's-eardrop. sent10: if the express is facultative then the fact that it dehydrogenates lady's-eardrop is right. sent11: there are bright things. ; $proof$ = 
sent5 & sent2 -> int1: the express is a lightning and it is a bronchospasm.; int1 -> int2: the express is a lightning.; sent3 -> int3: if the express is a kind of a lightning then it is a kind of a fascista.; int2 & int3 -> hypothesis; __PROVED__