the descendant is not a kind of a vacation.
sent1: something that is a kind of a thrust does parch thruster. sent2: that if the thruster is not insurmountable that the thruster is a kind of a soiree is not wrong is true. sent3: if something is a soiree it is a kind of a thrust. sent4: the thruster is not insurmountable. sent5: if the thruster does parch thruster then the descendant is a kind of a vacation.
sent2 & sent4 -> int1: the thruster is a kind of a soiree.; sent3 -> int2: if the thruster is a soiree it is a thrust.; int1 & int2 -> int3: the fact that the thruster does not thrust is not right.; sent1 -> int4: if the thruster is a thrust it does parch thruster.; int3 & int4 -> int5: the thruster does parch thruster.; int5 & sent5 -> hypothesis;
$hypothesis$ = the descendant is not a kind of a vacation. ; $context$ = sent1: something that is a kind of a thrust does parch thruster. sent2: that if the thruster is not insurmountable that the thruster is a kind of a soiree is not wrong is true. sent3: if something is a soiree it is a kind of a thrust. sent4: the thruster is not insurmountable. sent5: if the thruster does parch thruster then the descendant is a kind of a vacation. ; $proof$ = 
sent2 & sent4 -> int1: the thruster is a kind of a soiree.; sent3 -> int2: if the thruster is a soiree it is a thrust.; int1 & int2 -> int3: the fact that the thruster does not thrust is not right.; sent1 -> int4: if the thruster is a thrust it does parch thruster.; int3 & int4 -> int5: the thruster does parch thruster.; int5 & sent5 -> hypothesis; __DISPROVED__