that the treehopper does not recline and does edge crush is not right.
sent1: the knight-errant is non-infernal if the groundberry is a non-infernal. sent2: the knight-errant is not a kind of an infernal and it does not spang if the groundberry is infernal. sent3: something does not lob Danube. sent4: the knight-errant is not infernal. sent5: the treehopper does not recline and edges crush if there is something such that the fact that it does not spang hold. sent6: the groundberry is an infernal if there exists something such that it does not lob Danube. sent7: the treehopper does edge crush if something does not spang. sent8: there exists something such that it lobs Danube.
sent3 & sent6 -> int1: the groundberry is infernal.; sent2 & int1 -> int2: the knight-errant is not an infernal and does not spang.; int2 -> int3: the knight-errant does not spang.; int3 -> int4: there exists something such that it does not spang.; int4 & sent5 -> hypothesis;
$hypothesis$ = that the treehopper does not recline and does edge crush is not right. ; $context$ = sent1: the knight-errant is non-infernal if the groundberry is a non-infernal. sent2: the knight-errant is not a kind of an infernal and it does not spang if the groundberry is infernal. sent3: something does not lob Danube. sent4: the knight-errant is not infernal. sent5: the treehopper does not recline and edges crush if there is something such that the fact that it does not spang hold. sent6: the groundberry is an infernal if there exists something such that it does not lob Danube. sent7: the treehopper does edge crush if something does not spang. sent8: there exists something such that it lobs Danube. ; $proof$ = 
sent3 & sent6 -> int1: the groundberry is infernal.; sent2 & int1 -> int2: the knight-errant is not an infernal and does not spang.; int2 -> int3: the knight-errant does not spang.; int3 -> int4: there exists something such that it does not spang.; int4 & sent5 -> hypothesis; __DISPROVED__