the fact that the fore-and-after is unemployable is not false.
sent1: the shunter is unemployable. sent2: the fore-and-after does rope mounted. sent3: the glochidium is tannic. sent4: the e is unemployable. sent5: the fore-and-after is intervertebral. sent6: the rake is a garmentmaker if it is unmodifiable. sent7: the fore-and-after is tannic and is unmodifiable. sent8: the fore-and-after is counterrevolutionary. sent9: something is unemployable if it is unmodifiable. sent10: if something is not tannic it is not unemployable.
sent7 -> int1: the fore-and-after is unmodifiable.; sent9 -> int2: if the fore-and-after is unmodifiable then it is unemployable.; int1 & int2 -> hypothesis;
the fore-and-after is not unemployable.
sent10 -> int3: the fore-and-after is not unemployable if it is not tannic.;
$hypothesis$ = the fact that the fore-and-after is unemployable is not false. ; $context$ = sent1: the shunter is unemployable. sent2: the fore-and-after does rope mounted. sent3: the glochidium is tannic. sent4: the e is unemployable. sent5: the fore-and-after is intervertebral. sent6: the rake is a garmentmaker if it is unmodifiable. sent7: the fore-and-after is tannic and is unmodifiable. sent8: the fore-and-after is counterrevolutionary. sent9: something is unemployable if it is unmodifiable. sent10: if something is not tannic it is not unemployable. ; $proof$ = 
sent7 -> int1: the fore-and-after is unmodifiable.; sent9 -> int2: if the fore-and-after is unmodifiable then it is unemployable.; int1 & int2 -> hypothesis; __PROVED__