something is both anaplastic and not non-canine.
sent1: the shoring is a canine. sent2: the sender does sober. sent3: if the shoring is not a kind of a Danaea then it is anaplastic. sent4: the sender is a kind of a anopheline that is bivariate. sent5: that the sender is the voluptuousness if the sender is a sake is not wrong. sent6: that something flicks multiprocessor and is not a sake is not true if it is bivariate. sent7: the electromagnetism precludes and ignores sender. sent8: if that the sender flicks multiprocessor and is not a kind of a sake is not true it is a voluptuousness. sent9: the shoring is not a Danaea if the sender does sober and it is a voluptuousness.
sent6 -> int1: that the sender does flick multiprocessor and is not a kind of a sake is not true if it is not non-bivariate.; sent4 -> int2: the sender is bivariate.; int1 & int2 -> int3: that the sender flicks multiprocessor but it is not a sake is wrong.; int3 & sent8 -> int4: the sender is a voluptuousness.; int4 & sent2 -> int5: the sender is sobering and it is a voluptuousness.; int5 & sent9 -> int6: the shoring is not a Danaea.; int6 & sent3 -> int7: the shoring is anaplastic.; int7 & sent1 -> int8: the shoring is anaplastic and it is a kind of a canine.; int8 -> hypothesis;
$hypothesis$ = something is both anaplastic and not non-canine. ; $context$ = sent1: the shoring is a canine. sent2: the sender does sober. sent3: if the shoring is not a kind of a Danaea then it is anaplastic. sent4: the sender is a kind of a anopheline that is bivariate. sent5: that the sender is the voluptuousness if the sender is a sake is not wrong. sent6: that something flicks multiprocessor and is not a sake is not true if it is bivariate. sent7: the electromagnetism precludes and ignores sender. sent8: if that the sender flicks multiprocessor and is not a kind of a sake is not true it is a voluptuousness. sent9: the shoring is not a Danaea if the sender does sober and it is a voluptuousness. ; $proof$ = 
sent6 -> int1: that the sender does flick multiprocessor and is not a kind of a sake is not true if it is not non-bivariate.; sent4 -> int2: the sender is bivariate.; int1 & int2 -> int3: that the sender flicks multiprocessor but it is not a sake is wrong.; int3 & sent8 -> int4: the sender is a voluptuousness.; int4 & sent2 -> int5: the sender is sobering and it is a voluptuousness.; int5 & sent9 -> int6: the shoring is not a Danaea.; int6 & sent3 -> int7: the shoring is anaplastic.; int7 & sent1 -> int8: the shoring is anaplastic and it is a kind of a canine.; int8 -> hypothesis; __PROVED__