the monohybrid is not a kind of a Hickock.
sent1: if the monohybrid is a Hickock it does mellow mesquite. sent2: the monohybrid is a kind of a Hickock if it is a caddie. sent3: the monohybrid owes if the transept is not a gunfight. sent4: the bedpan is not a gunfight. sent5: if the transept is not a gunfight then the monohybrid owes and is not a Ramphastidae. sent6: the dummy is a kind of a crotch. sent7: the monohybrid is a gunfight that does not mellow mesquite if the transept does not owe. sent8: if the monohybrid does mellow mesquite then it is a kind of a gunfight. sent9: if the dummy is not a gunfight then it is a Ramphastidae and does not owe. sent10: if something is a penalty it is a gunfight. sent11: the transept is not a Ramphastidae if that the monohybrid does not owe and is not a Ramphastidae does not hold. sent12: if the fact that something does not mellow mesquite or it is a potshot or both is not right it is a Hickock. sent13: something owes if it is a Ramphastidae. sent14: if that something does not mellow gigahertz and it is not a penalty is false it is a penalty. sent15: that the monohybrid does not mellow gigahertz and is not a penalty does not hold if that the dummy is a kind of a crotch is true. sent16: the fact that something does mellow mesquite but it is not a Hickock does not hold if it is not a potshot. sent17: something is a potshot if it mellows mesquite. sent18: if something is a potshot it is a Ramphastidae. sent19: if the Bornean mellows mesquite then it is prosthodontic. sent20: the transept is a Hickock if it is a gunfight. sent21: if the monohybrid is a gunfight it does owe. sent22: the transept is not a gunfight. sent23: that something does not owe and is not a Ramphastidae is not right if it is a gunfight. sent24: the transept is a back but it is not a mastaba. sent25: the monohybrid does owe.
void -> assump1: Let's assume that the monohybrid is a Hickock.; sent1 & assump1 -> int1: the fact that the monohybrid does mellow mesquite is not wrong.; sent17 -> int2: that the monohybrid is a potshot hold if it mellows mesquite.; int1 & int2 -> int3: the monohybrid is a potshot.; sent18 -> int4: the monohybrid is a Ramphastidae if it is a potshot.; int3 & int4 -> int5: the monohybrid is a kind of a Ramphastidae.; sent5 & sent22 -> int6: the monohybrid does owe and is not a Ramphastidae.; int6 -> int7: the monohybrid is not a Ramphastidae.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the transept is a Hickock.
sent12 -> int9: the transept is a Hickock if the fact that it does not mellow mesquite and/or is a kind of a potshot is wrong.; sent23 -> int10: that the monohybrid does not owe and it is not a Ramphastidae is incorrect if it is a kind of a gunfight.; sent10 -> int11: the monohybrid is a gunfight if it is a penalty.; sent14 -> int12: the monohybrid is a kind of a penalty if that it does not mellow gigahertz and is not a penalty is false.; sent15 & sent6 -> int13: the fact that the monohybrid does not mellow gigahertz and is not a penalty is not correct.; int12 & int13 -> int14: the monohybrid is a penalty.; int11 & int14 -> int15: the monohybrid is a gunfight.; int10 & int15 -> int16: the fact that the monohybrid does not owe and it is not a kind of a Ramphastidae is wrong.; sent11 & int16 -> int17: the transept is not a Ramphastidae.;
$hypothesis$ = the monohybrid is not a kind of a Hickock. ; $context$ = sent1: if the monohybrid is a Hickock it does mellow mesquite. sent2: the monohybrid is a kind of a Hickock if it is a caddie. sent3: the monohybrid owes if the transept is not a gunfight. sent4: the bedpan is not a gunfight. sent5: if the transept is not a gunfight then the monohybrid owes and is not a Ramphastidae. sent6: the dummy is a kind of a crotch. sent7: the monohybrid is a gunfight that does not mellow mesquite if the transept does not owe. sent8: if the monohybrid does mellow mesquite then it is a kind of a gunfight. sent9: if the dummy is not a gunfight then it is a Ramphastidae and does not owe. sent10: if something is a penalty it is a gunfight. sent11: the transept is not a Ramphastidae if that the monohybrid does not owe and is not a Ramphastidae does not hold. sent12: if the fact that something does not mellow mesquite or it is a potshot or both is not right it is a Hickock. sent13: something owes if it is a Ramphastidae. sent14: if that something does not mellow gigahertz and it is not a penalty is false it is a penalty. sent15: that the monohybrid does not mellow gigahertz and is not a penalty does not hold if that the dummy is a kind of a crotch is true. sent16: the fact that something does mellow mesquite but it is not a Hickock does not hold if it is not a potshot. sent17: something is a potshot if it mellows mesquite. sent18: if something is a potshot it is a Ramphastidae. sent19: if the Bornean mellows mesquite then it is prosthodontic. sent20: the transept is a Hickock if it is a gunfight. sent21: if the monohybrid is a gunfight it does owe. sent22: the transept is not a gunfight. sent23: that something does not owe and is not a Ramphastidae is not right if it is a gunfight. sent24: the transept is a back but it is not a mastaba. sent25: the monohybrid does owe. ; $proof$ = 
void -> assump1: Let's assume that the monohybrid is a Hickock.; sent1 & assump1 -> int1: the fact that the monohybrid does mellow mesquite is not wrong.; sent17 -> int2: that the monohybrid is a potshot hold if it mellows mesquite.; int1 & int2 -> int3: the monohybrid is a potshot.; sent18 -> int4: the monohybrid is a Ramphastidae if it is a potshot.; int3 & int4 -> int5: the monohybrid is a kind of a Ramphastidae.; sent5 & sent22 -> int6: the monohybrid does owe and is not a Ramphastidae.; int6 -> int7: the monohybrid is not a Ramphastidae.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__