the thysanuron pitches cubist.
sent1: if the adduct is not a Brazzaville it either is not a kind of a bubbling or is a wardroom or both. sent2: there is something such that that it does reef and it is not tuberculate is not right. sent3: the fact that the poncho is a kind of a bubbling is not false if it is osseous. sent4: something does garner Comtism. sent5: if something does not bubble and/or is a wardroom it is not a bubble. sent6: if the railway is not tuberculate then the thysanuron does pitch cubist and is not a reef. sent7: the railway is a reef. sent8: the fact that the adduct is a wardroom hold if the poncho bubbles. sent9: the adduct is a kind of a Brazzaville if there is something such that it garners Comtism. sent10: the poncho is Carolingian and it is osseous. sent11: the railway is not tuberculate if there exists something such that it is a wardroom that is a kind of a Brazzaville.
sent10 -> int1: the poncho is osseous.; int1 & sent3 -> int2: the poncho does bubble.; int2 & sent8 -> int3: the adduct is a wardroom.; sent4 & sent9 -> int4: the adduct is a Brazzaville.; int3 & int4 -> int5: the adduct is a wardroom that is a kind of a Brazzaville.; int5 -> int6: something is a wardroom and it is a Brazzaville.; int6 & sent11 -> int7: the railway is not tuberculate.; int7 & sent6 -> int8: the thysanuron pitches cubist and is not a reef.; int8 -> hypothesis;
the railway pitches cubist.
sent5 -> int9: if either the adduct is not a bubbling or it is a wardroom or both then it does not bubbling.;
$hypothesis$ = the thysanuron pitches cubist. ; $context$ = sent1: if the adduct is not a Brazzaville it either is not a kind of a bubbling or is a wardroom or both. sent2: there is something such that that it does reef and it is not tuberculate is not right. sent3: the fact that the poncho is a kind of a bubbling is not false if it is osseous. sent4: something does garner Comtism. sent5: if something does not bubble and/or is a wardroom it is not a bubble. sent6: if the railway is not tuberculate then the thysanuron does pitch cubist and is not a reef. sent7: the railway is a reef. sent8: the fact that the adduct is a wardroom hold if the poncho bubbles. sent9: the adduct is a kind of a Brazzaville if there is something such that it garners Comtism. sent10: the poncho is Carolingian and it is osseous. sent11: the railway is not tuberculate if there exists something such that it is a wardroom that is a kind of a Brazzaville. ; $proof$ = 
sent10 -> int1: the poncho is osseous.; int1 & sent3 -> int2: the poncho does bubble.; int2 & sent8 -> int3: the adduct is a wardroom.; sent4 & sent9 -> int4: the adduct is a Brazzaville.; int3 & int4 -> int5: the adduct is a wardroom that is a kind of a Brazzaville.; int5 -> int6: something is a wardroom and it is a Brazzaville.; int6 & sent11 -> int7: the railway is not tuberculate.; int7 & sent6 -> int8: the thysanuron pitches cubist and is not a reef.; int8 -> hypothesis; __PROVED__