the spiderwort is not a rhizopod.
sent1: that the bachelorette is nonmetallic is true. sent2: the spiderwort is not a harbor if the ragsorter is not thermohydrometric. sent3: if the bachelorette is nonmetallic that the counterfeit is paternal is not incorrect. sent4: The primogeniture does bask galea. sent5: if something is not a harbor then it is a rhizopod. sent6: if the icon is not Hebridean then the ragsorter does bask ore but it is not thermohydrometric. sent7: the galea does bask primogeniture. sent8: the ragsorter does bask ore. sent9: the icon is not Hebridean if the counterfeit is paternal and it does deplore coordination. sent10: if something is not paternal it does deplore coordination and does bask primogeniture. sent11: the counterfeit deplores coordination if that the galea basks primogeniture hold.
sent11 & sent7 -> int1: the counterfeit deplores coordination.; sent3 & sent1 -> int2: the counterfeit is paternal.; int1 & int2 -> int3: the counterfeit is paternal and it deplores coordination.; int3 & sent9 -> int4: the icon is not Hebridean.; int4 & sent6 -> int5: the ragsorter does bask ore and is not thermohydrometric.; int5 -> int6: the ragsorter is not thermohydrometric.; int6 & sent2 -> int7: the spiderwort does not harbor.; sent5 -> int8: if the spiderwort is not a harbor it is a rhizopod.; int7 & int8 -> hypothesis;
the marseille basks primogeniture.
sent10 -> int9: the marseille does deplore coordination and basks primogeniture if that it is non-paternal is correct.;
$hypothesis$ = the spiderwort is not a rhizopod. ; $context$ = sent1: that the bachelorette is nonmetallic is true. sent2: the spiderwort is not a harbor if the ragsorter is not thermohydrometric. sent3: if the bachelorette is nonmetallic that the counterfeit is paternal is not incorrect. sent4: The primogeniture does bask galea. sent5: if something is not a harbor then it is a rhizopod. sent6: if the icon is not Hebridean then the ragsorter does bask ore but it is not thermohydrometric. sent7: the galea does bask primogeniture. sent8: the ragsorter does bask ore. sent9: the icon is not Hebridean if the counterfeit is paternal and it does deplore coordination. sent10: if something is not paternal it does deplore coordination and does bask primogeniture. sent11: the counterfeit deplores coordination if that the galea basks primogeniture hold. ; $proof$ = 
sent11 & sent7 -> int1: the counterfeit deplores coordination.; sent3 & sent1 -> int2: the counterfeit is paternal.; int1 & int2 -> int3: the counterfeit is paternal and it deplores coordination.; int3 & sent9 -> int4: the icon is not Hebridean.; int4 & sent6 -> int5: the ragsorter does bask ore and is not thermohydrometric.; int5 -> int6: the ragsorter is not thermohydrometric.; int6 & sent2 -> int7: the spiderwort does not harbor.; sent5 -> int8: if the spiderwort is not a harbor it is a rhizopod.; int7 & int8 -> hypothesis; __DISPROVED__