the fact that there exists something such that if the fact that it does not disapprove liberal and is a Laudo does not hold it is not a rich is not right.
sent1: there exists something such that if it is not a Laudo it is not rich. sent2: if that the refinery does not disapprove liberal and is a kind of a Laudo is wrong then it is not a rich. sent3: the refinery is not a kind of a rich if it disapproves liberal.
sent2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it does not disapprove liberal and is a Laudo does not hold it is not a rich is not right. ; $context$ = sent1: there exists something such that if it is not a Laudo it is not rich. sent2: if that the refinery does not disapprove liberal and is a kind of a Laudo is wrong then it is not a rich. sent3: the refinery is not a kind of a rich if it disapproves liberal. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__