the fact that if the sandbox counts librarian then the android counts cayuse does not hold.
sent1: the mescaline does count librarian. sent2: if the sandbox counts librarian the android is a thievishness. sent3: the sandbox counts cayuse if the android counts librarian. sent4: the sill is a thievishness. sent5: if something is a thievishness it counts cayuse. sent6: that the sandbox is a thievishness is not incorrect. sent7: if something counts librarian it is a thievishness. sent8: the android counts cayuse if it counts librarian. sent9: something that counts librarian counts cayuse. sent10: that something is not a thievishness and does count cayuse is false if it is an agribusiness.
void -> assump1: Let's assume that the sandbox does count librarian.; sent2 & assump1 -> int1: the android is a thievishness.; sent5 -> int2: if the android is a thievishness it counts cayuse.; int1 & int2 -> int3: the fact that the android counts cayuse is not wrong.; [assump1] & int3 -> hypothesis;
the plumcot does count librarian.
sent10 -> int4: the fact that that the plumcot is not a kind of a thievishness but it counts cayuse is not incorrect does not hold if it is an agribusiness.;
$hypothesis$ = the fact that if the sandbox counts librarian then the android counts cayuse does not hold. ; $context$ = sent1: the mescaline does count librarian. sent2: if the sandbox counts librarian the android is a thievishness. sent3: the sandbox counts cayuse if the android counts librarian. sent4: the sill is a thievishness. sent5: if something is a thievishness it counts cayuse. sent6: that the sandbox is a thievishness is not incorrect. sent7: if something counts librarian it is a thievishness. sent8: the android counts cayuse if it counts librarian. sent9: something that counts librarian counts cayuse. sent10: that something is not a thievishness and does count cayuse is false if it is an agribusiness. ; $proof$ = 
void -> assump1: Let's assume that the sandbox does count librarian.; sent2 & assump1 -> int1: the android is a thievishness.; sent5 -> int2: if the android is a thievishness it counts cayuse.; int1 & int2 -> int3: the fact that the android counts cayuse is not wrong.; [assump1] & int3 -> hypothesis; __DISPROVED__