the Turki does not soldier plumb.
sent1: if the fact that the Swede does not soldier plumb but it is carotid does not hold then the Turki is not non-logarithmic. sent2: if that that the Swede is a kind of non-logarithmic a Kusan is not false is not right then the Turki is Shona. sent3: if something is carotid then it soldiers Turki. sent4: if the bridal-wreath does dispel the gong does not soldier Turki and is generative. sent5: if the Turki is Shona it is carotid. sent6: the fact that the Swede is logarithmic and a Kusan does not hold. sent7: the fact that there exists nothing such that it is logarithmic and it is a kind of a Kusan is not wrong. sent8: the radiotelephone soldiers Turki if there exists something such that it is a Shona and it is not carotid. sent9: there is nothing such that it is not logarithmic and is a Kusan. sent10: if something soldiers Turki it does soldier plumb. sent11: the fact that the Turki does not soldier plumb is right if the gong soldier plumb. sent12: if that the Swede is logarithmic is not wrong then the Turki is a Shona.
sent9 -> int1: the fact that the Swede is not logarithmic and is a Kusan is incorrect.; int1 & sent2 -> int2: the Turki is Shona.; int2 & sent5 -> int3: the Turki is carotid.; sent3 -> int4: the Turki does soldier Turki if it is carotid.; int3 & int4 -> int5: the fact that the Turki does not soldier Turki does not hold.; sent10 -> int6: if the Turki soldiers Turki that it does soldier plumb is not wrong.; int5 & int6 -> hypothesis;
the fact that the radiotelephone soldiers Turki is correct.
$hypothesis$ = the Turki does not soldier plumb. ; $context$ = sent1: if the fact that the Swede does not soldier plumb but it is carotid does not hold then the Turki is not non-logarithmic. sent2: if that that the Swede is a kind of non-logarithmic a Kusan is not false is not right then the Turki is Shona. sent3: if something is carotid then it soldiers Turki. sent4: if the bridal-wreath does dispel the gong does not soldier Turki and is generative. sent5: if the Turki is Shona it is carotid. sent6: the fact that the Swede is logarithmic and a Kusan does not hold. sent7: the fact that there exists nothing such that it is logarithmic and it is a kind of a Kusan is not wrong. sent8: the radiotelephone soldiers Turki if there exists something such that it is a Shona and it is not carotid. sent9: there is nothing such that it is not logarithmic and is a Kusan. sent10: if something soldiers Turki it does soldier plumb. sent11: the fact that the Turki does not soldier plumb is right if the gong soldier plumb. sent12: if that the Swede is logarithmic is not wrong then the Turki is a Shona. ; $proof$ = 
sent9 -> int1: the fact that the Swede is not logarithmic and is a Kusan is incorrect.; int1 & sent2 -> int2: the Turki is Shona.; int2 & sent5 -> int3: the Turki is carotid.; sent3 -> int4: the Turki does soldier Turki if it is carotid.; int3 & int4 -> int5: the fact that the Turki does not soldier Turki does not hold.; sent10 -> int6: if the Turki soldiers Turki that it does soldier plumb is not wrong.; int5 & int6 -> hypothesis; __DISPROVED__