the axis is not a kind of a rum.
sent1: if the importer does not offer muser the axis is not a rum. sent2: the axis is a rum if the importer does not offer muser. sent3: the enforcer does not chamber but it strains knockabout if there exists something such that it does not strain herpetologist. sent4: something succeeds and/or does not offer muser if it is not a histologist. sent5: that the importer is not a histologist is not incorrect if the lespedeza does alibi lespedeza and it is a kind of a comprehensive. sent6: the lespedeza alibis lespedeza if the enforcer does strain knockabout. sent7: there exists something such that it does not strain herpetologist. sent8: the shirtfront is a comprehensive. sent9: the axis is not a rum if the importer succeeds. sent10: if the shirtfront is a comprehensive then the lespedeza is not comprehensive.
sent7 & sent3 -> int1: the enforcer does not chamber and strains knockabout.; int1 -> int2: the enforcer strains knockabout.; int2 & sent6 -> int3: the lespedeza alibis lespedeza.; sent10 & sent8 -> int4: the lespedeza is a kind of a comprehensive.; int3 & int4 -> int5: the lespedeza alibis lespedeza and it is a comprehensive.; int5 & sent5 -> int6: the importer is not a kind of a histologist.; sent4 -> int7: if the importer is not a histologist then it does succeed and/or it does not offer muser.; int6 & int7 -> int8: the fact that the importer succeeds and/or it does not offer muser is correct.; int8 & sent9 & sent1 -> hypothesis;
$hypothesis$ = the axis is not a kind of a rum. ; $context$ = sent1: if the importer does not offer muser the axis is not a rum. sent2: the axis is a rum if the importer does not offer muser. sent3: the enforcer does not chamber but it strains knockabout if there exists something such that it does not strain herpetologist. sent4: something succeeds and/or does not offer muser if it is not a histologist. sent5: that the importer is not a histologist is not incorrect if the lespedeza does alibi lespedeza and it is a kind of a comprehensive. sent6: the lespedeza alibis lespedeza if the enforcer does strain knockabout. sent7: there exists something such that it does not strain herpetologist. sent8: the shirtfront is a comprehensive. sent9: the axis is not a rum if the importer succeeds. sent10: if the shirtfront is a comprehensive then the lespedeza is not comprehensive. ; $proof$ = 
sent7 & sent3 -> int1: the enforcer does not chamber and strains knockabout.; int1 -> int2: the enforcer strains knockabout.; int2 & sent6 -> int3: the lespedeza alibis lespedeza.; sent10 & sent8 -> int4: the lespedeza is a kind of a comprehensive.; int3 & int4 -> int5: the lespedeza alibis lespedeza and it is a comprehensive.; int5 & sent5 -> int6: the importer is not a kind of a histologist.; sent4 -> int7: if the importer is not a histologist then it does succeed and/or it does not offer muser.; int6 & int7 -> int8: the fact that the importer succeeds and/or it does not offer muser is correct.; int8 & sent9 & sent1 -> hypothesis; __PROVED__