the fact that there is something such that it is dehiscent or it is efficient or both does not hold.
sent1: that the moosewood is not a ruffianism and does not bear succotash does not hold. sent2: the moosewood is a Wabash. sent3: if that the theosophist does not bear succotash and is not a kind of a Wabash does not hold then the moosewood is a ruffianism. sent4: the homunculus is not a kind of a ruffianism. sent5: something either is a kind of a ruffianism or is efficient or both. sent6: the theosophist is efficient if the fact that the bulbul does not bear succotash and is not dehiscent is not true. sent7: if the theosophist is a Wabash the moosewood is a kind of a ruffianism. sent8: if that the bulbul is not efficient is right the fact that the theosophist does not bear succotash but it is a Wabash is wrong. sent9: the moosewood is not a ruffianism. sent10: the moosewood is not eschatological if it does not superscribe pursuer and it is not a kind of a bookcase. sent11: the fact that the theosophist does not bear succotash and is a Wabash is not right. sent12: if the bulbul is not efficient then that the theosophist does not bear succotash and is not a kind of a Wabash is not true. sent13: that something is dehiscent thing that is a ruffianism is not true if it is not eschatological. sent14: if the fact that the bulbul is both not a ruffianism and not efficient is not true the moosewood is dehiscent. sent15: the bulbul is a good. sent16: if the theosophist is efficient the bulbul does bear end.
void -> assump1: Let's assume that the fact that the bulbul is not efficient is true.; sent12 & assump1 -> int1: that the theosophist does not bear succotash and is not a Wabash is wrong.; int1 & sent3 -> int2: the moosewood is a ruffianism.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bulbul is efficient.; int4 -> int5: the bulbul is dehiscent and/or it is not inefficient.; int5 -> hypothesis;
something does superscribe disciplined and/or bears end.
sent13 -> int6: if the moosewood is not eschatological then that it is dehiscent and it is a kind of a ruffianism is not right.;
$hypothesis$ = the fact that there is something such that it is dehiscent or it is efficient or both does not hold. ; $context$ = sent1: that the moosewood is not a ruffianism and does not bear succotash does not hold. sent2: the moosewood is a Wabash. sent3: if that the theosophist does not bear succotash and is not a kind of a Wabash does not hold then the moosewood is a ruffianism. sent4: the homunculus is not a kind of a ruffianism. sent5: something either is a kind of a ruffianism or is efficient or both. sent6: the theosophist is efficient if the fact that the bulbul does not bear succotash and is not dehiscent is not true. sent7: if the theosophist is a Wabash the moosewood is a kind of a ruffianism. sent8: if that the bulbul is not efficient is right the fact that the theosophist does not bear succotash but it is a Wabash is wrong. sent9: the moosewood is not a ruffianism. sent10: the moosewood is not eschatological if it does not superscribe pursuer and it is not a kind of a bookcase. sent11: the fact that the theosophist does not bear succotash and is a Wabash is not right. sent12: if the bulbul is not efficient then that the theosophist does not bear succotash and is not a kind of a Wabash is not true. sent13: that something is dehiscent thing that is a ruffianism is not true if it is not eschatological. sent14: if the fact that the bulbul is both not a ruffianism and not efficient is not true the moosewood is dehiscent. sent15: the bulbul is a good. sent16: if the theosophist is efficient the bulbul does bear end. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bulbul is not efficient is true.; sent12 & assump1 -> int1: that the theosophist does not bear succotash and is not a Wabash is wrong.; int1 & sent3 -> int2: the moosewood is a ruffianism.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bulbul is efficient.; int4 -> int5: the bulbul is dehiscent and/or it is not inefficient.; int5 -> hypothesis; __DISPROVED__