that the mahout does perplex Gascogne and is a pervaporation is false.
sent1: the HDL is Orthodox. sent2: the HDL does derail calculation. sent3: the mahout is not archaistic if there exists something such that it is unusual and it does not excise Tantrist. sent4: the uptown is unusual and does not excise Tantrist if the Jonathan is unusual. sent5: if that the javelin derails calculation is not wrong then it does perplex jurisdiction. sent6: the Jonathan is not unusual if the HDL is a kind of Orthodox thing that does derail calculation. sent7: The calculation does derail HDL. sent8: the fact that something perplexes Gascogne and it is a kind of a pervaporation is not true if it is not archaistic.
sent1 & sent2 -> int1: the HDL is Orthodox thing that does derail calculation.; int1 & sent6 -> int2: the Jonathan is not unusual.; int2 & sent4 -> int3: the uptown is unusual thing that does not excise Tantrist.; int3 -> int4: there exists something such that it is unusual and does not excise Tantrist.; int4 & sent3 -> int5: the mahout is not archaistic.; sent8 -> int6: the fact that the mahout does perplex Gascogne and is a pervaporation does not hold if it is not archaistic.; int5 & int6 -> hypothesis;
the javelin does perplex jurisdiction and it is microsomal.
$hypothesis$ = that the mahout does perplex Gascogne and is a pervaporation is false. ; $context$ = sent1: the HDL is Orthodox. sent2: the HDL does derail calculation. sent3: the mahout is not archaistic if there exists something such that it is unusual and it does not excise Tantrist. sent4: the uptown is unusual and does not excise Tantrist if the Jonathan is unusual. sent5: if that the javelin derails calculation is not wrong then it does perplex jurisdiction. sent6: the Jonathan is not unusual if the HDL is a kind of Orthodox thing that does derail calculation. sent7: The calculation does derail HDL. sent8: the fact that something perplexes Gascogne and it is a kind of a pervaporation is not true if it is not archaistic. ; $proof$ = 
sent1 & sent2 -> int1: the HDL is Orthodox thing that does derail calculation.; int1 & sent6 -> int2: the Jonathan is not unusual.; int2 & sent4 -> int3: the uptown is unusual thing that does not excise Tantrist.; int3 -> int4: there exists something such that it is unusual and does not excise Tantrist.; int4 & sent3 -> int5: the mahout is not archaistic.; sent8 -> int6: the fact that the mahout does perplex Gascogne and is a pervaporation does not hold if it is not archaistic.; int5 & int6 -> hypothesis; __PROVED__