the fact that there is something such that if it is a microscopist it is a Bretagne and it is not a kind of an empty is not right.
sent1: if the fact that something is a kind of a Polynesian hold then it damages pachyderm and is not particularistic. sent2: if the underlip is a microscopist then it is a Bretagne and not empty.
sent2 -> hypothesis;
there is something such that if it is a Polynesian then it damages pachyderm and is not particularistic.
sent1 -> int1: if the leaflet is Polynesian it damages pachyderm and it is not particularistic.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is a microscopist it is a Bretagne and it is not a kind of an empty is not right. ; $context$ = sent1: if the fact that something is a kind of a Polynesian hold then it damages pachyderm and is not particularistic. sent2: if the underlip is a microscopist then it is a Bretagne and not empty. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__