the Osage does not orb accession.
sent1: if the Osage does not orb accession the fact that it does not entrust ceriman and it is Jamaican is not correct. sent2: if that the Osage does not entrust ceriman and is not non-Jamaican is not true the fact that it is not amethystine hold. sent3: the Osage is not a kind of a Shastan. sent4: everything is a kind of a farandole. sent5: the briarroot is not amethystine. sent6: if the Osage is not Corsican that it is a Shastan and it is a encolure is not true. sent7: that the samisen is a kind of non-anticlinal thing that does not blanch is not correct. sent8: that the sloop does not orb accession hold. sent9: something is not a Borodin and does not orb curry if it is a kind of a farandole. sent10: the fact that the Osage does entrust ceriman and is a Jamaican is incorrect. sent11: the Osage is footless. sent12: that the cockatoo is not a gooseflesh and is a Shastan is incorrect if it does not entrust fox-trot. sent13: the slurry does not blanch if the fact that the samisen is a kind of non-anticlinal thing that does not blanch is false. sent14: if something is not a Shastan the fact that the Hoover is a Shastan that is amethystine is false. sent15: the Osage is not non-amethystine but it is not a Shastan. sent16: the Osage is not covert.
void -> assump1: Let's assume that the Osage does not orb accession.; sent1 & assump1 -> int1: that the Osage does not entrust ceriman and is a Jamaican is not correct.; int1 & sent2 -> int2: the Osage is not amethystine.; sent15 -> int3: the Osage is amethystine.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the Osage does not orb accession.
sent7 & sent13 -> int5: the slurry does not blanch.; sent9 -> int6: the whelk is not a Borodin and it does not orb curry if it is a farandole.; sent4 -> int7: the whelk is a farandole.; int6 & int7 -> int8: the whelk is not a kind of a Borodin and it does not orb curry.; int8 -> int9: everything is not a Borodin and it does not orb curry.; int9 -> int10: the lakeside is not a Borodin and does not orb curry.;
$hypothesis$ = the Osage does not orb accession. ; $context$ = sent1: if the Osage does not orb accession the fact that it does not entrust ceriman and it is Jamaican is not correct. sent2: if that the Osage does not entrust ceriman and is not non-Jamaican is not true the fact that it is not amethystine hold. sent3: the Osage is not a kind of a Shastan. sent4: everything is a kind of a farandole. sent5: the briarroot is not amethystine. sent6: if the Osage is not Corsican that it is a Shastan and it is a encolure is not true. sent7: that the samisen is a kind of non-anticlinal thing that does not blanch is not correct. sent8: that the sloop does not orb accession hold. sent9: something is not a Borodin and does not orb curry if it is a kind of a farandole. sent10: the fact that the Osage does entrust ceriman and is a Jamaican is incorrect. sent11: the Osage is footless. sent12: that the cockatoo is not a gooseflesh and is a Shastan is incorrect if it does not entrust fox-trot. sent13: the slurry does not blanch if the fact that the samisen is a kind of non-anticlinal thing that does not blanch is false. sent14: if something is not a Shastan the fact that the Hoover is a Shastan that is amethystine is false. sent15: the Osage is not non-amethystine but it is not a Shastan. sent16: the Osage is not covert. ; $proof$ = 
void -> assump1: Let's assume that the Osage does not orb accession.; sent1 & assump1 -> int1: that the Osage does not entrust ceriman and is a Jamaican is not correct.; int1 & sent2 -> int2: the Osage is not amethystine.; sent15 -> int3: the Osage is amethystine.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __DISPROVED__