the fact that the satrap is not credible and is awful does not hold.
sent1: the angiocardiogram is not a circumvention. sent2: there is something such that it is a matriarch. sent3: there exists something such that it does not front. sent4: if there exists something such that it is not a matriarch the fact that the satrap is credible thing that is awful is wrong. sent5: that the satrap is credible and it is awful is not true. sent6: if something is not a kind of a matriarch then that the satrap is not credible but it is awful is incorrect. sent7: that something is not a kind of a Mustelus and is a matriarch is false if it is not credible. sent8: if something is not a kind of a matriarch then it is not credible and it is awful.
the satrap is both incredible and not non-awful.
sent8 -> int1: the satrap is non-credible thing that is awful if it is not a matriarch.;
$hypothesis$ = the fact that the satrap is not credible and is awful does not hold. ; $context$ = sent1: the angiocardiogram is not a circumvention. sent2: there is something such that it is a matriarch. sent3: there exists something such that it does not front. sent4: if there exists something such that it is not a matriarch the fact that the satrap is credible thing that is awful is wrong. sent5: that the satrap is credible and it is awful is not true. sent6: if something is not a kind of a matriarch then that the satrap is not credible but it is awful is incorrect. sent7: that something is not a kind of a Mustelus and is a matriarch is false if it is not credible. sent8: if something is not a kind of a matriarch then it is not credible and it is awful. ; $proof$ = 
__UNKNOWN__