the mineral is not a sclerometer.
sent1: if the spelter is not an anti and it is not cochlear the jeweler is not a kind of an anti. sent2: that the spelter is not cochlear and it does not dominate month is not right. sent3: the Helix is a Vogul if the jeweler does not copy polymath. sent4: if that the jeweler is not a Slavic does not hold then the spelter does not dominate month. sent5: if the fact that that the spelter is not cochlear and does not dominate month is not right is not incorrect then it dominate month. sent6: the fact that that the spelter is not cochlear but it does dominate month is wrong is right. sent7: if the jeweler does copy polymath then the fact that it is not non-interplanetary and it is not a Slavic is not true. sent8: that the jeweler is interplanetary and it is a Slavic is not right. sent9: that the Helix does not copy polymath but it is not non-cochlear does not hold. sent10: the fact that if the jeweler is not anti then the mineral is not a kind of a Trasimeno and it is not a Vogul is true. sent11: the fact that the jeweler is interplanetary and it is a Slavic is not true if it copies polymath. sent12: the Helix is a kind of a Vogul. sent13: if that either the Helix is not a kind of a Vogul or it does not copy polymath or both is not true then the mineral is a kind of a Trasimeno. sent14: the mineral copies polymath. sent15: the spelter does not dominate month if that the jeweler is not non-interplanetary and not a Slavic does not hold. sent16: the mineral is a kind of a Trasimeno if the fact that the Helix is a kind of a Vogul or it does not copy polymath or both does not hold. sent17: something that is not a kind of a Vogul dominates month or copies polymath or both. sent18: if something is a Trasimeno then it is a sclerometer. sent19: something is not a kind of a sclerometer if it dominates month. sent20: that the jeweler is both not a Slavic and a Vogul is not true. sent21: something is non-anti thing that is not cochlear if it does dominate cracking. sent22: that either the Helix is not a Vogul or it does not copy polymath or both is not true if the jeweler does not copy polymath.
void -> assump1: Let's assume that the jeweler does copy polymath.; sent7 & assump1 -> int1: that the jeweler is interplanetary thing that is not a kind of a Slavic does not hold.; int1 & sent15 -> int2: the spelter does not dominate month.; sent5 & sent2 -> int3: the spelter does dominate month.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jeweler does not copy polymath.; int5 & sent22 -> int6: that the Helix is not a Vogul and/or it does not copy polymath is incorrect.; int6 & sent13 -> int7: the mineral is a Trasimeno.; sent18 -> int8: the mineral is a kind of a sclerometer if it is a Trasimeno.; int7 & int8 -> hypothesis;
the mineral is not a sclerometer.
sent17 -> int9: if the mineral is not a Vogul it either dominates month or does copy polymath or both.; sent21 -> int10: if the spelter dominates cracking then it is both not an anti and not cochlear.; sent19 -> int11: the mineral is not a sclerometer if it does dominate month.;
$hypothesis$ = the mineral is not a sclerometer. ; $context$ = sent1: if the spelter is not an anti and it is not cochlear the jeweler is not a kind of an anti. sent2: that the spelter is not cochlear and it does not dominate month is not right. sent3: the Helix is a Vogul if the jeweler does not copy polymath. sent4: if that the jeweler is not a Slavic does not hold then the spelter does not dominate month. sent5: if the fact that that the spelter is not cochlear and does not dominate month is not right is not incorrect then it dominate month. sent6: the fact that that the spelter is not cochlear but it does dominate month is wrong is right. sent7: if the jeweler does copy polymath then the fact that it is not non-interplanetary and it is not a Slavic is not true. sent8: that the jeweler is interplanetary and it is a Slavic is not right. sent9: that the Helix does not copy polymath but it is not non-cochlear does not hold. sent10: the fact that if the jeweler is not anti then the mineral is not a kind of a Trasimeno and it is not a Vogul is true. sent11: the fact that the jeweler is interplanetary and it is a Slavic is not true if it copies polymath. sent12: the Helix is a kind of a Vogul. sent13: if that either the Helix is not a kind of a Vogul or it does not copy polymath or both is not true then the mineral is a kind of a Trasimeno. sent14: the mineral copies polymath. sent15: the spelter does not dominate month if that the jeweler is not non-interplanetary and not a Slavic does not hold. sent16: the mineral is a kind of a Trasimeno if the fact that the Helix is a kind of a Vogul or it does not copy polymath or both does not hold. sent17: something that is not a kind of a Vogul dominates month or copies polymath or both. sent18: if something is a Trasimeno then it is a sclerometer. sent19: something is not a kind of a sclerometer if it dominates month. sent20: that the jeweler is both not a Slavic and a Vogul is not true. sent21: something is non-anti thing that is not cochlear if it does dominate cracking. sent22: that either the Helix is not a Vogul or it does not copy polymath or both is not true if the jeweler does not copy polymath. ; $proof$ = 
void -> assump1: Let's assume that the jeweler does copy polymath.; sent7 & assump1 -> int1: that the jeweler is interplanetary thing that is not a kind of a Slavic does not hold.; int1 & sent15 -> int2: the spelter does not dominate month.; sent5 & sent2 -> int3: the spelter does dominate month.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the jeweler does not copy polymath.; int5 & sent22 -> int6: that the Helix is not a Vogul and/or it does not copy polymath is incorrect.; int6 & sent13 -> int7: the mineral is a Trasimeno.; sent18 -> int8: the mineral is a kind of a sclerometer if it is a Trasimeno.; int7 & int8 -> hypothesis; __DISPROVED__