the Maoist is a Calorie or it is not non-sour or both.
sent1: if the lining is a kind of a Ottoman then that it does measure diamine is not wrong. sent2: the lining is mass-spectrometric if it is a invalidator. sent3: that the lining is significant and it is a kind of a invalidator is incorrect if it does measure diamine. sent4: if the lining does measure diamine that it is significant and it is not a invalidator is not right. sent5: the knoll is unconditional. sent6: the fact that the lining is significant and is a kind of a invalidator is not true. sent7: the radiotelegraph is not a Calorie if that the Maoist is a kind of significant thing that measures diamine is wrong. sent8: that the addle-head is upper-class and it is concentric does not hold if there exists something such that it is not a Menelaus. sent9: if there exists something such that that it is upper-class and it is concentric does not hold the whiptail does sour. sent10: if something is unconditional then the whiptail is non-phalangeal. sent11: if the whiptail is not phalangeal then it is unreproducible and/or it is ropey. sent12: if something is a kind of a sour then it is a invalidator. sent13: the fact that the lining is not mass-spectrometric hold. sent14: the Maoist does not measure blankness. sent15: the lining does not measure blankness. sent16: the harvest-lice is not a Menelaus. sent17: something is mass-spectrometric if it is not reproducible. sent18: if something is not significant then the fact that the Maoist is significant and it does measure diamine is wrong. sent19: the lining is not significant if the whiptail is a invalidator and it is mass-spectrometric. sent20: the lining does not measure blankness and is a Ottoman if the Maoist is not a kind of a Calorie.
void -> assump1: Let's assume that the fact that the Maoist is not a kind of a Calorie is right.; sent20 & assump1 -> int1: the lining does not measure blankness and is a Ottoman.; int1 -> int2: the lining is a Ottoman.; int2 & sent1 -> int3: the fact that the lining measures diamine hold.; int3 & sent4 -> int4: the fact that the lining is significant thing that is not a invalidator is not right.;
the radiotelegraph is not a kind of a Calorie.
sent12 -> int5: the whiptail is a invalidator if it is a sour.; sent16 -> int6: there exists something such that it is not a Menelaus.; int6 & sent8 -> int7: that the addle-head is a kind of upper-class thing that is concentric does not hold.; int7 -> int8: there is something such that the fact that it is upper-class and is concentric is false.; int8 & sent9 -> int9: the whiptail is a sour.; int5 & int9 -> int10: the whiptail is a kind of a invalidator.; sent5 -> int11: there is something such that it is unconditional.; int11 & sent10 -> int12: the whiptail is not phalangeal.; sent11 & int12 -> int13: the whiptail either is unreproducible or is ropey or both.; sent17 -> int14: the whiptail is mass-spectrometric if it is unreproducible.;
$hypothesis$ = the Maoist is a Calorie or it is not non-sour or both. ; $context$ = sent1: if the lining is a kind of a Ottoman then that it does measure diamine is not wrong. sent2: the lining is mass-spectrometric if it is a invalidator. sent3: that the lining is significant and it is a kind of a invalidator is incorrect if it does measure diamine. sent4: if the lining does measure diamine that it is significant and it is not a invalidator is not right. sent5: the knoll is unconditional. sent6: the fact that the lining is significant and is a kind of a invalidator is not true. sent7: the radiotelegraph is not a Calorie if that the Maoist is a kind of significant thing that measures diamine is wrong. sent8: that the addle-head is upper-class and it is concentric does not hold if there exists something such that it is not a Menelaus. sent9: if there exists something such that that it is upper-class and it is concentric does not hold the whiptail does sour. sent10: if something is unconditional then the whiptail is non-phalangeal. sent11: if the whiptail is not phalangeal then it is unreproducible and/or it is ropey. sent12: if something is a kind of a sour then it is a invalidator. sent13: the fact that the lining is not mass-spectrometric hold. sent14: the Maoist does not measure blankness. sent15: the lining does not measure blankness. sent16: the harvest-lice is not a Menelaus. sent17: something is mass-spectrometric if it is not reproducible. sent18: if something is not significant then the fact that the Maoist is significant and it does measure diamine is wrong. sent19: the lining is not significant if the whiptail is a invalidator and it is mass-spectrometric. sent20: the lining does not measure blankness and is a Ottoman if the Maoist is not a kind of a Calorie. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Maoist is not a kind of a Calorie is right.; sent20 & assump1 -> int1: the lining does not measure blankness and is a Ottoman.; int1 -> int2: the lining is a Ottoman.; int2 & sent1 -> int3: the fact that the lining measures diamine hold.; int3 & sent4 -> int4: the fact that the lining is significant thing that is not a invalidator is not right.; __UNKNOWN__