the result is not a Kattegatt and sighs Rhamnus.
sent1: if the gunmetal is non-virginal then the bulimic does not level hardware. sent2: the result sighs Rhamnus. sent3: if the bulimic is not a kind of a virginal it does not fidget patternmaker or does not sigh bearer or both. sent4: the result is not a virginal and does sigh Rhamnus. sent5: if the polarization is a Kattegatt the result is not a Kattegatt but it does sigh Rhamnus. sent6: the bulimic is unrestrictive if the result does not sigh bearer and it does not sigh Rhamnus. sent7: the gunmetal does not level hardware. sent8: if the result does not sigh bearer and/or it is not a virginal the bulimic does not sigh Rhamnus. sent9: if the lumberjack does not fidget patternmaker that the bulimic does not fidget patternmaker is not wrong. sent10: if either the bulimic does not fidget patternmaker or it does not sigh bearer or both the lumberjack is not unrestrictive. sent11: if the gunmetal is not unrestrictive and it does not level hardware then the polarization is a kind of a Kattegatt. sent12: the bulimic is not a kind of a virginal.
sent3 & sent12 -> int1: the bulimic does not fidget patternmaker and/or does not sigh bearer.; int1 & sent10 -> int2: the lumberjack is not unrestrictive.;
$hypothesis$ = the result is not a Kattegatt and sighs Rhamnus. ; $context$ = sent1: if the gunmetal is non-virginal then the bulimic does not level hardware. sent2: the result sighs Rhamnus. sent3: if the bulimic is not a kind of a virginal it does not fidget patternmaker or does not sigh bearer or both. sent4: the result is not a virginal and does sigh Rhamnus. sent5: if the polarization is a Kattegatt the result is not a Kattegatt but it does sigh Rhamnus. sent6: the bulimic is unrestrictive if the result does not sigh bearer and it does not sigh Rhamnus. sent7: the gunmetal does not level hardware. sent8: if the result does not sigh bearer and/or it is not a virginal the bulimic does not sigh Rhamnus. sent9: if the lumberjack does not fidget patternmaker that the bulimic does not fidget patternmaker is not wrong. sent10: if either the bulimic does not fidget patternmaker or it does not sigh bearer or both the lumberjack is not unrestrictive. sent11: if the gunmetal is not unrestrictive and it does not level hardware then the polarization is a kind of a Kattegatt. sent12: the bulimic is not a kind of a virginal. ; $proof$ = 
sent3 & sent12 -> int1: the bulimic does not fidget patternmaker and/or does not sigh bearer.; int1 & sent10 -> int2: the lumberjack is not unrestrictive.; __UNKNOWN__