the rocambole is a NT and is not a isopropanol.
sent1: the fact that the olivine does not blinker olivine but it queues interoceptor is correct if the marocain errs. sent2: the fact that the olivine is not acapnic is not wrong if that that either the marocain is a downtick or it does not halter or both hold does not hold. sent3: the marocain is not a kind of a downtick. sent4: there is something such that the fact that the fact that it is not a kind of a downtick and/or is not a piculet is right does not hold. sent5: that the marocain is a downtick or it is not a halter or both is wrong. sent6: if something does not blinker olivine and does queue interoceptor it is a piculet. sent7: if that the olivine is not a kind of a NT hold then the rocambole is not a isopropanol. sent8: the rocambole is a NT but it is not a isopropanol if the olivine is not a NT. sent9: the rocambole is not a kind of a isopropanol. sent10: something is not a NT if it is a halter and is acapnic. sent11: if something is not acapnic that it is a NT and it is not a kind of a isopropanol is not correct. sent12: the olivine is a downtick if it is a kind of a piculet. sent13: if that the olivine is a NT is correct it is acapnic.
void -> assump1: Let's assume that the olivine is a NT.; sent13 & assump1 -> int1: the olivine is acapnic.; sent2 & sent5 -> int2: the olivine is not acapnic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the olivine is not a kind of a NT.; int4 & sent8 -> hypothesis;
the fact that either the marocain is not non-hypodermic or it is not a isopropanol or both is not correct.
sent10 -> int5: the marocain is not a kind of a NT if it is a halter and it is acapnic.;
$hypothesis$ = the rocambole is a NT and is not a isopropanol. ; $context$ = sent1: the fact that the olivine does not blinker olivine but it queues interoceptor is correct if the marocain errs. sent2: the fact that the olivine is not acapnic is not wrong if that that either the marocain is a downtick or it does not halter or both hold does not hold. sent3: the marocain is not a kind of a downtick. sent4: there is something such that the fact that the fact that it is not a kind of a downtick and/or is not a piculet is right does not hold. sent5: that the marocain is a downtick or it is not a halter or both is wrong. sent6: if something does not blinker olivine and does queue interoceptor it is a piculet. sent7: if that the olivine is not a kind of a NT hold then the rocambole is not a isopropanol. sent8: the rocambole is a NT but it is not a isopropanol if the olivine is not a NT. sent9: the rocambole is not a kind of a isopropanol. sent10: something is not a NT if it is a halter and is acapnic. sent11: if something is not acapnic that it is a NT and it is not a kind of a isopropanol is not correct. sent12: the olivine is a downtick if it is a kind of a piculet. sent13: if that the olivine is a NT is correct it is acapnic. ; $proof$ = 
void -> assump1: Let's assume that the olivine is a NT.; sent13 & assump1 -> int1: the olivine is acapnic.; sent2 & sent5 -> int2: the olivine is not acapnic.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the olivine is not a kind of a NT.; int4 & sent8 -> hypothesis; __PROVED__