that if the fact that the incurable is not a kind of a Calophyllum and it is not blue-collar does not hold then the lampblack is not honest is not right.
sent1: the lampblack is not honest if the fact that the incurable is a Calophyllum is true. sent2: the toby contradistinguishes TNF if the hoya does not fret incendiary or it frets Prosopium or both. sent3: the lampblack is a shinplaster if the fact that the jerky is a highboard but it is not a lied is incorrect. sent4: the hoya frets incendiary and/or it frets Prosopium if the incurable frets Prosopium. sent5: if the jerky is a landmass that it is a highboard and it does not lie is not right. sent6: the fact that the incurable is a Calophyllum that is not blue-collar is wrong. sent7: that if the fact that the incurable is not the Calophyllum and it is not blue-collar is not correct the incurable does demilitarize roller hold. sent8: that if the toby does contradistinguish TNF the lampblack is nonindulgent is right. sent9: the lampblack is a shinplaster if the jerky lies. sent10: if a shinplaster is nonindulgent it is dishonest. sent11: the fact that the jerky is a highboard and it is a lied is not true. sent12: the jerky is a landmass. sent13: the incurable is blue-collar. sent14: the lampblack does demilitarize roller. sent15: the hoya frets incendiary and/or it does fret Prosopium. sent16: if the incurable frets Prosopium then the hoya does not fret incendiary or it does frets Prosopium or both. sent17: something does fret Prosopium if it does demilitarize roller.
void -> assump1: Let's assume that that the incurable is not a Calophyllum and it is not blue-collar is wrong.; sent7 & assump1 -> int1: the incurable does demilitarize roller.; sent17 -> int2: if the incurable demilitarizes roller it frets Prosopium.; int1 & int2 -> int3: the incurable frets Prosopium.; int3 & sent16 -> int4: the hoya does not fret incendiary and/or does fret Prosopium.; int4 & sent2 -> int5: the toby contradistinguishes TNF.; int5 & sent8 -> int6: the lampblack is nonindulgent.; sent5 & sent12 -> int7: the fact that that the jerky is a kind of a highboard that does not lie does not hold is not incorrect.; sent3 & int7 -> int8: the lampblack is a kind of a shinplaster.; int6 & int8 -> int9: the lampblack is a kind of a shinplaster and is nonindulgent.; sent10 -> int10: if the lampblack is a shinplaster that is not indulgent it is not honest.; int9 & int10 -> int11: the lampblack is not honest.; [assump1] & int11 -> hypothesis;
$hypothesis$ = that if the fact that the incurable is not a kind of a Calophyllum and it is not blue-collar does not hold then the lampblack is not honest is not right. ; $context$ = sent1: the lampblack is not honest if the fact that the incurable is a Calophyllum is true. sent2: the toby contradistinguishes TNF if the hoya does not fret incendiary or it frets Prosopium or both. sent3: the lampblack is a shinplaster if the fact that the jerky is a highboard but it is not a lied is incorrect. sent4: the hoya frets incendiary and/or it frets Prosopium if the incurable frets Prosopium. sent5: if the jerky is a landmass that it is a highboard and it does not lie is not right. sent6: the fact that the incurable is a Calophyllum that is not blue-collar is wrong. sent7: that if the fact that the incurable is not the Calophyllum and it is not blue-collar is not correct the incurable does demilitarize roller hold. sent8: that if the toby does contradistinguish TNF the lampblack is nonindulgent is right. sent9: the lampblack is a shinplaster if the jerky lies. sent10: if a shinplaster is nonindulgent it is dishonest. sent11: the fact that the jerky is a highboard and it is a lied is not true. sent12: the jerky is a landmass. sent13: the incurable is blue-collar. sent14: the lampblack does demilitarize roller. sent15: the hoya frets incendiary and/or it does fret Prosopium. sent16: if the incurable frets Prosopium then the hoya does not fret incendiary or it does frets Prosopium or both. sent17: something does fret Prosopium if it does demilitarize roller. ; $proof$ = 
void -> assump1: Let's assume that that the incurable is not a Calophyllum and it is not blue-collar is wrong.; sent7 & assump1 -> int1: the incurable does demilitarize roller.; sent17 -> int2: if the incurable demilitarizes roller it frets Prosopium.; int1 & int2 -> int3: the incurable frets Prosopium.; int3 & sent16 -> int4: the hoya does not fret incendiary and/or does fret Prosopium.; int4 & sent2 -> int5: the toby contradistinguishes TNF.; int5 & sent8 -> int6: the lampblack is nonindulgent.; sent5 & sent12 -> int7: the fact that that the jerky is a kind of a highboard that does not lie does not hold is not incorrect.; sent3 & int7 -> int8: the lampblack is a kind of a shinplaster.; int6 & int8 -> int9: the lampblack is a kind of a shinplaster and is nonindulgent.; sent10 -> int10: if the lampblack is a shinplaster that is not indulgent it is not honest.; int9 & int10 -> int11: the lampblack is not honest.; [assump1] & int11 -> hypothesis; __DISPROVED__