the contrabassoon is not a deadlock.
sent1: if the eyecup fudges felony and it is a gazania then it is not a kingbird. sent2: if the fact that the fact that the orchid is inland but not a Orr is wrong is true the toast does not headquarter coccus. sent3: the eyecup is a gazania. sent4: The felony does fudge eyecup. sent5: something does not fudge annihilation and is a pituitary if the fact that it is a deadlock is not false. sent6: if the fact that the toast does not halt and is a kingbird is wrong it headquarters coccus. sent7: if the contrabassoon does not fudge annihilation and is pituitary then the oregano is a bignoniad. sent8: if something is a bichromate and it does govern Vespertilio then it is not a kind of a bignoniad. sent9: if there is something such that it is not a kind of a kingbird that the toast does not halt but it is a kingbird is incorrect. sent10: the plethodont is inland if the oregano is a bignoniad. sent11: that the orchid is inland and is not a Orr is incorrect if that the plethodont is inland is correct. sent12: the eyecup does fudge felony. sent13: something does not halt if that it is not a kingbird and it does not fudge felony is incorrect. sent14: the fact that the eyecup is not a kingbird and it does not fudge felony is not true. sent15: the contrabassoon is a deadlock if the fact that the oregano is not a kind of a deadlock but it is inland is false. sent16: the fact that the oregano is not a kind of a deadlock but it is inland does not hold if the plethodont is a bignoniad. sent17: the fact that the horsewhip is a kind of an opening and governs Angolese is incorrect.
sent5 -> int1: if the contrabassoon is a deadlock it does not fudge annihilation and is pituitary.; void -> assump1: Let's assume that the contrabassoon is a kind of a deadlock.; int1 & assump1 -> int2: the contrabassoon does not fudge annihilation but it is a kind of a pituitary.; int2 & sent7 -> int3: the oregano is a bignoniad.; int3 & sent10 -> int4: the fact that the plethodont is inland is right.; int4 & sent11 -> int5: the fact that the orchid is inland thing that is not a Orr is not correct.; int5 & sent2 -> int6: the toast does not headquarter coccus.; sent12 & sent3 -> int7: the eyecup does fudge felony and is a gazania.; sent1 & int7 -> int8: the eyecup is not a kind of a kingbird.; int8 -> int9: there is something such that the fact that it is not a kingbird is not wrong.; int9 & sent9 -> int10: the fact that the toast does not halt but it is a kind of a kingbird does not hold.; sent6 & int10 -> int11: the toast headquarters coccus.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis;
the scupper is not a bignoniad if it is a kind of a bichromate and it does govern Vespertilio.
sent8 -> hypothesis;
$hypothesis$ = the contrabassoon is not a deadlock. ; $context$ = sent1: if the eyecup fudges felony and it is a gazania then it is not a kingbird. sent2: if the fact that the fact that the orchid is inland but not a Orr is wrong is true the toast does not headquarter coccus. sent3: the eyecup is a gazania. sent4: The felony does fudge eyecup. sent5: something does not fudge annihilation and is a pituitary if the fact that it is a deadlock is not false. sent6: if the fact that the toast does not halt and is a kingbird is wrong it headquarters coccus. sent7: if the contrabassoon does not fudge annihilation and is pituitary then the oregano is a bignoniad. sent8: if something is a bichromate and it does govern Vespertilio then it is not a kind of a bignoniad. sent9: if there is something such that it is not a kind of a kingbird that the toast does not halt but it is a kingbird is incorrect. sent10: the plethodont is inland if the oregano is a bignoniad. sent11: that the orchid is inland and is not a Orr is incorrect if that the plethodont is inland is correct. sent12: the eyecup does fudge felony. sent13: something does not halt if that it is not a kingbird and it does not fudge felony is incorrect. sent14: the fact that the eyecup is not a kingbird and it does not fudge felony is not true. sent15: the contrabassoon is a deadlock if the fact that the oregano is not a kind of a deadlock but it is inland is false. sent16: the fact that the oregano is not a kind of a deadlock but it is inland does not hold if the plethodont is a bignoniad. sent17: the fact that the horsewhip is a kind of an opening and governs Angolese is incorrect. ; $proof$ = 
sent5 -> int1: if the contrabassoon is a deadlock it does not fudge annihilation and is pituitary.; void -> assump1: Let's assume that the contrabassoon is a kind of a deadlock.; int1 & assump1 -> int2: the contrabassoon does not fudge annihilation but it is a kind of a pituitary.; int2 & sent7 -> int3: the oregano is a bignoniad.; int3 & sent10 -> int4: the fact that the plethodont is inland is right.; int4 & sent11 -> int5: the fact that the orchid is inland thing that is not a Orr is not correct.; int5 & sent2 -> int6: the toast does not headquarter coccus.; sent12 & sent3 -> int7: the eyecup does fudge felony and is a gazania.; sent1 & int7 -> int8: the eyecup is not a kind of a kingbird.; int8 -> int9: there is something such that the fact that it is not a kingbird is not wrong.; int9 & sent9 -> int10: the fact that the toast does not halt but it is a kind of a kingbird does not hold.; sent6 & int10 -> int11: the toast headquarters coccus.; int6 & int11 -> int12: this is contradiction.; [assump1] & int12 -> hypothesis; __PROVED__