that the mollie is Anglo-catholic is true.
sent1: the mollie is a kind of an irregular. sent2: the mollie does not legitimate. sent3: the settler is an irregular. sent4: the has-been is Anglo-catholic. sent5: if the buffet hedges madrepore it is not a arsenical and/or it is a shear. sent6: that the fact that something is not economics and/or it is an irregular is right does not hold if it is not a arsenical. sent7: the chauffeuse is not economics but it is phreatic. sent8: if the mollie is a kind of non-economics thing that is an irregular it is Anglo-catholic. sent9: something is non-Anglo-catholic and not a arsenical if it does hedge madrepore. sent10: that the mollie is not economics hold.
sent10 & sent1 -> int1: the mollie is both not economics and irregular.; int1 & sent8 -> hypothesis;
the Ischia is irregular.
sent9 -> int2: the mollie is non-Anglo-catholic and it is not a kind of a arsenical if it does hedge madrepore.;
$hypothesis$ = that the mollie is Anglo-catholic is true. ; $context$ = sent1: the mollie is a kind of an irregular. sent2: the mollie does not legitimate. sent3: the settler is an irregular. sent4: the has-been is Anglo-catholic. sent5: if the buffet hedges madrepore it is not a arsenical and/or it is a shear. sent6: that the fact that something is not economics and/or it is an irregular is right does not hold if it is not a arsenical. sent7: the chauffeuse is not economics but it is phreatic. sent8: if the mollie is a kind of non-economics thing that is an irregular it is Anglo-catholic. sent9: something is non-Anglo-catholic and not a arsenical if it does hedge madrepore. sent10: that the mollie is not economics hold. ; $proof$ = 
sent10 & sent1 -> int1: the mollie is both not economics and irregular.; int1 & sent8 -> hypothesis; __PROVED__