the fact that that the Wyomingite is amethystine and is a kind of a Maya is wrong is not incorrect.
sent1: the stable is a snowblindness. sent2: the stable themes Mirabeau if the monk does not themes Mirabeau and is not nonsyllabic. sent3: something knits rent if it is a snowblindness. sent4: if that the Wyomingite themes Mirabeau and it founders is not wrong then it is not a Atlantic. sent5: the stable is a kind of subordinating thing that is not a kind of an incisor. sent6: the stable is not effervescent if it is a subordinating that is not a kind of an incisor. sent7: that if the Wyomingite does not knit kindergarten then the ketorolac does not founder is not false. sent8: the ketorolac is not a kind of a Maya if the stable does knit rent and does theme Mirabeau. sent9: that the stable is not noneffervescent is not incorrect if the fact that the fact that either the ketorolac is nonsyllabic or it does knit kindergarten or both is true does not hold. sent10: the fact that the Wyomingite does founder is not false. sent11: the Wyomingite is a kind of amethystine thing that is a Maya if it is not a Atlantic. sent12: the fact that the ketorolac is nonsyllabic or it knits kindergarten or both is not right if it is not a snowblindness. sent13: the ketorolac is not a snowblindness if the Wyomingite does not knit rent and/or it does not theme Mirabeau.
void -> assump1: Let's assume that the Wyomingite does not theme Mirabeau.; assump1 -> int1: the Wyomingite either does not knit rent or does not theme Mirabeau or both.; int1 & sent13 -> int2: the ketorolac is not a snowblindness.; int2 & sent12 -> int3: the fact that either the ketorolac is nonsyllabic or it does knit kindergarten or both is false.; int3 & sent9 -> int4: the fact that the stable is not noneffervescent is not wrong.; sent6 & sent5 -> int5: the stable is not sparkling.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Wyomingite does theme Mirabeau.; int7 & sent10 -> int8: the Wyomingite themes Mirabeau and founders.; int8 & sent4 -> int9: the Wyomingite is not a Atlantic.; int9 & sent11 -> hypothesis;
that the Wyomingite is a kind of amethystine thing that is a Maya does not hold.
sent3 -> int10: if the stable is a snowblindness that it does knit rent is correct.; int10 & sent1 -> int11: the stable does knit rent.;
$hypothesis$ = the fact that that the Wyomingite is amethystine and is a kind of a Maya is wrong is not incorrect. ; $context$ = sent1: the stable is a snowblindness. sent2: the stable themes Mirabeau if the monk does not themes Mirabeau and is not nonsyllabic. sent3: something knits rent if it is a snowblindness. sent4: if that the Wyomingite themes Mirabeau and it founders is not wrong then it is not a Atlantic. sent5: the stable is a kind of subordinating thing that is not a kind of an incisor. sent6: the stable is not effervescent if it is a subordinating that is not a kind of an incisor. sent7: that if the Wyomingite does not knit kindergarten then the ketorolac does not founder is not false. sent8: the ketorolac is not a kind of a Maya if the stable does knit rent and does theme Mirabeau. sent9: that the stable is not noneffervescent is not incorrect if the fact that the fact that either the ketorolac is nonsyllabic or it does knit kindergarten or both is true does not hold. sent10: the fact that the Wyomingite does founder is not false. sent11: the Wyomingite is a kind of amethystine thing that is a Maya if it is not a Atlantic. sent12: the fact that the ketorolac is nonsyllabic or it knits kindergarten or both is not right if it is not a snowblindness. sent13: the ketorolac is not a snowblindness if the Wyomingite does not knit rent and/or it does not theme Mirabeau. ; $proof$ = 
void -> assump1: Let's assume that the Wyomingite does not theme Mirabeau.; assump1 -> int1: the Wyomingite either does not knit rent or does not theme Mirabeau or both.; int1 & sent13 -> int2: the ketorolac is not a snowblindness.; int2 & sent12 -> int3: the fact that either the ketorolac is nonsyllabic or it does knit kindergarten or both is false.; int3 & sent9 -> int4: the fact that the stable is not noneffervescent is not wrong.; sent6 & sent5 -> int5: the stable is not sparkling.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Wyomingite does theme Mirabeau.; int7 & sent10 -> int8: the Wyomingite themes Mirabeau and founders.; int8 & sent4 -> int9: the Wyomingite is not a Atlantic.; int9 & sent11 -> hypothesis; __DISPROVED__