that there is something such that if it does not overturn nutrient and it is a lithomancy it does not barbarize harpist is incorrect.
sent1: if something that does not overturn nutrient is a lithomancy it does not barbarize harpist. sent2: the nutrient barbarizes harpist if it does not overturn nutrient and is a lithomancy.
sent1 -> int1: if the nutrient does not overturn nutrient but it is a lithomancy it does not barbarize harpist.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not overturn nutrient and it is a lithomancy it does not barbarize harpist is incorrect. ; $context$ = sent1: if something that does not overturn nutrient is a lithomancy it does not barbarize harpist. sent2: the nutrient barbarizes harpist if it does not overturn nutrient and is a lithomancy. ; $proof$ = 
sent1 -> int1: if the nutrient does not overturn nutrient but it is a lithomancy it does not barbarize harpist.; int1 -> hypothesis; __DISPROVED__