the pincushion is a kind of a west.
sent1: something that is not a kind of a Mauritian is a kind of diclinous thing that is a voyager. sent2: if something reads satrap and is a voyager the pincushion is not a west. sent3: the downstage reads satrap. sent4: if the base is real-time that the honeycreeper is not a starch and it is not a shaker is not correct. sent5: if that the snowfield is not a west is not false the pincushion is not a kind of a west. sent6: if there exists something such that that it is not a voyager hold then the fact that the downstage is a kind of non-narial thing that is indecorous is incorrect. sent7: the crotch does not deafen carry if that it is a kind of a mutiny that is profound is wrong. sent8: if the fact that something is not a Mauritian but it is a kind of a voyager is incorrect then the fact that it is not a voyager is right. sent9: the fact that something is both not a Mauritian and a voyager is not correct if it is not diclinous. sent10: if the fact that something is not a starch and is not a shaker is false then it is a shaker. sent11: something does deafen densimeter if it is perinatal. sent12: something is a west if the fact that it does not read satrap and it is diclinous is wrong. sent13: if there is something such that it is not a voyager that the pincushion reads satrap and is diclinous is incorrect. sent14: the snowfield is not a Mauritian. sent15: something is not diclinous if that it is not a shaker is incorrect. sent16: the fact that the crotch is not a Hymen and is baptismal is incorrect if it does not deafen carry. sent17: if there exists something such that it is not a kind of a voyager then the fact that the pincushion does not read satrap and is diclinous is not correct. sent18: that the crotch is a mutiny and it is profound is not true. sent19: that something does not read satrap but it is a kind of a west is wrong if it is not a voyager. sent20: if the fact that the pincushion is not a kind of a voyager but it does capture Europeanization is not correct it severs. sent21: there is something such that it is not a voyager.
sent21 & sent17 -> int1: that the pincushion does not read satrap and is diclinous is not right.; sent12 -> int2: if the fact that the pincushion does not read satrap but it is diclinous does not hold then it is a west.; int1 & int2 -> hypothesis;
the pincushion is not a west.
sent1 -> int3: if the snowfield is not a kind of a Mauritian it is a kind of diclinous thing that is a voyager.; sent14 & int3 -> int4: the snowfield is diclinous and it is a kind of a voyager.; int4 -> int5: the snowfield is a kind of a voyager.;
$hypothesis$ = the pincushion is a kind of a west. ; $context$ = sent1: something that is not a kind of a Mauritian is a kind of diclinous thing that is a voyager. sent2: if something reads satrap and is a voyager the pincushion is not a west. sent3: the downstage reads satrap. sent4: if the base is real-time that the honeycreeper is not a starch and it is not a shaker is not correct. sent5: if that the snowfield is not a west is not false the pincushion is not a kind of a west. sent6: if there exists something such that that it is not a voyager hold then the fact that the downstage is a kind of non-narial thing that is indecorous is incorrect. sent7: the crotch does not deafen carry if that it is a kind of a mutiny that is profound is wrong. sent8: if the fact that something is not a Mauritian but it is a kind of a voyager is incorrect then the fact that it is not a voyager is right. sent9: the fact that something is both not a Mauritian and a voyager is not correct if it is not diclinous. sent10: if the fact that something is not a starch and is not a shaker is false then it is a shaker. sent11: something does deafen densimeter if it is perinatal. sent12: something is a west if the fact that it does not read satrap and it is diclinous is wrong. sent13: if there is something such that it is not a voyager that the pincushion reads satrap and is diclinous is incorrect. sent14: the snowfield is not a Mauritian. sent15: something is not diclinous if that it is not a shaker is incorrect. sent16: the fact that the crotch is not a Hymen and is baptismal is incorrect if it does not deafen carry. sent17: if there exists something such that it is not a kind of a voyager then the fact that the pincushion does not read satrap and is diclinous is not correct. sent18: that the crotch is a mutiny and it is profound is not true. sent19: that something does not read satrap but it is a kind of a west is wrong if it is not a voyager. sent20: if the fact that the pincushion is not a kind of a voyager but it does capture Europeanization is not correct it severs. sent21: there is something such that it is not a voyager. ; $proof$ = 
sent21 & sent17 -> int1: that the pincushion does not read satrap and is diclinous is not right.; sent12 -> int2: if the fact that the pincushion does not read satrap but it is diclinous does not hold then it is a west.; int1 & int2 -> hypothesis; __PROVED__