the genip either nobbles or credits kingbird or both.
sent1: the genip is not a requested if the nerve is a kind of a Sabahan and it is bronchiolar. sent2: the EDS credits kingbird. sent3: the genip does not request if the nerve is not a request and is a Sabahan. sent4: if the nerve is not Dickensian then that it is not non-Uzbekistani and it is a requested is false. sent5: that either the nerve does not request or it is not bronchiolar or both is not right. sent6: something is not bronchiolar if it is a kind of a Sabahan. sent7: the nerve requests. sent8: if something is a Sabahan then it credits kingbird. sent9: if something is not a requested then that it nobbles or credits kingbird or both does not hold. sent10: something is not a kind of a requested if that it is Uzbekistani and is a kind of a requested does not hold. sent11: the genip either is a kind of a requested or is a Sabahan or both. sent12: the nerve does request and/or is not bronchiolar. sent13: if the rickrack is non-bronchiolar the genip requests and nobbles. sent14: that the genip is a kind of a Sabahan hold if the nerve is bronchiolar. sent15: the genip is run-on if that it is amoebic is not false.
void -> assump1: Let's assume that the nerve is not bronchiolar.; assump1 -> int1: the nerve does not request or it is not bronchiolar or both.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nerve is bronchiolar.; int3 & sent14 -> int4: the genip is Sabahan.; sent8 -> int5: if the genip is a Sabahan it does credit kingbird.; int4 & int5 -> int6: the genip credits kingbird.; int6 -> hypothesis;
the fact that either the genip does nobble or it credits kingbird or both is not true.
sent9 -> int7: the fact that the genip nobbles or it credits kingbird or both is incorrect if it does not request.;
$hypothesis$ = the genip either nobbles or credits kingbird or both. ; $context$ = sent1: the genip is not a requested if the nerve is a kind of a Sabahan and it is bronchiolar. sent2: the EDS credits kingbird. sent3: the genip does not request if the nerve is not a request and is a Sabahan. sent4: if the nerve is not Dickensian then that it is not non-Uzbekistani and it is a requested is false. sent5: that either the nerve does not request or it is not bronchiolar or both is not right. sent6: something is not bronchiolar if it is a kind of a Sabahan. sent7: the nerve requests. sent8: if something is a Sabahan then it credits kingbird. sent9: if something is not a requested then that it nobbles or credits kingbird or both does not hold. sent10: something is not a kind of a requested if that it is Uzbekistani and is a kind of a requested does not hold. sent11: the genip either is a kind of a requested or is a Sabahan or both. sent12: the nerve does request and/or is not bronchiolar. sent13: if the rickrack is non-bronchiolar the genip requests and nobbles. sent14: that the genip is a kind of a Sabahan hold if the nerve is bronchiolar. sent15: the genip is run-on if that it is amoebic is not false. ; $proof$ = 
void -> assump1: Let's assume that the nerve is not bronchiolar.; assump1 -> int1: the nerve does not request or it is not bronchiolar or both.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the nerve is bronchiolar.; int3 & sent14 -> int4: the genip is Sabahan.; sent8 -> int5: if the genip is a Sabahan it does credit kingbird.; int4 & int5 -> int6: the genip credits kingbird.; int6 -> hypothesis; __PROVED__