the pinfold is not a zinger but it is a laterality.
sent1: the euphorbium is a zinger if the pinfold is both a butchery and not accessional. sent2: The manticore does not fetter sendee. sent3: if the euphorbium is a lanai the fact that it is not hairy and not a ditch is wrong. sent4: that the pinfold is not a kind of a zinger and does not ban grouped is false. sent5: the seaway does not ban Blackburn if there exists something such that it is a ditch. sent6: if the sendee is a kind of a dishonor but it does not ban grouped the euphorbium is accessional. sent7: the sendee does not ban grouped if it does not fetter manticore. sent8: the fact that the pinfold does not lob sporophore and is popular does not hold. sent9: the fact that the pinfold is not a zinger but it is a laterality is incorrect if the seaway does not ban Blackburn. sent10: if the sendee does not fetter manticore then it dishonors and it does not ban grouped. sent11: the sendee does not fetter manticore. sent12: that the pinfold does not ban honker but it is accessional is not correct. sent13: that the pinfold is not a zinger and it does not dishonor is false. sent14: the Benny does not fetter manticore if the sendee is accessional a butchery. sent15: the sendee is a lanai. sent16: if the euphorbium is a butchery then that it is a lanai is right. sent17: if the euphorbium is accessional that it is a butchery is not wrong. sent18: if something does fetter manticore it is not a zinger and it is a kind of a laterality. sent19: that the pinfold is both a zinger and a laterality is false if the seaway does not ban Blackburn. sent20: the seaway does not ban Blackburn if there exists something such that the fact that it is non-hairy thing that is not a kind of a ditch is not true. sent21: the aircraftsman does fetter tetraspore if it fetters manticore.
sent10 & sent11 -> int1: the sendee is a dishonor but it does not ban grouped.; int1 & sent6 -> int2: the euphorbium is accessional.; int2 & sent17 -> int3: the euphorbium is a butchery.; int3 & sent16 -> int4: the euphorbium is a lanai.; int4 & sent3 -> int5: the fact that the fact that the euphorbium is not hairy and it is not a kind of a ditch is not right is not wrong.; int5 -> int6: there exists something such that the fact that it is both not hairy and not a ditch is wrong.; int6 & sent20 -> int7: the seaway does not ban Blackburn.; int7 & sent9 -> hypothesis;
the pinfold is not a zinger but a laterality.
sent18 -> int8: the pinfold is both not a zinger and a laterality if that it fetters manticore hold.;
$hypothesis$ = the pinfold is not a zinger but it is a laterality. ; $context$ = sent1: the euphorbium is a zinger if the pinfold is both a butchery and not accessional. sent2: The manticore does not fetter sendee. sent3: if the euphorbium is a lanai the fact that it is not hairy and not a ditch is wrong. sent4: that the pinfold is not a kind of a zinger and does not ban grouped is false. sent5: the seaway does not ban Blackburn if there exists something such that it is a ditch. sent6: if the sendee is a kind of a dishonor but it does not ban grouped the euphorbium is accessional. sent7: the sendee does not ban grouped if it does not fetter manticore. sent8: the fact that the pinfold does not lob sporophore and is popular does not hold. sent9: the fact that the pinfold is not a zinger but it is a laterality is incorrect if the seaway does not ban Blackburn. sent10: if the sendee does not fetter manticore then it dishonors and it does not ban grouped. sent11: the sendee does not fetter manticore. sent12: that the pinfold does not ban honker but it is accessional is not correct. sent13: that the pinfold is not a zinger and it does not dishonor is false. sent14: the Benny does not fetter manticore if the sendee is accessional a butchery. sent15: the sendee is a lanai. sent16: if the euphorbium is a butchery then that it is a lanai is right. sent17: if the euphorbium is accessional that it is a butchery is not wrong. sent18: if something does fetter manticore it is not a zinger and it is a kind of a laterality. sent19: that the pinfold is both a zinger and a laterality is false if the seaway does not ban Blackburn. sent20: the seaway does not ban Blackburn if there exists something such that the fact that it is non-hairy thing that is not a kind of a ditch is not true. sent21: the aircraftsman does fetter tetraspore if it fetters manticore. ; $proof$ = 
sent10 & sent11 -> int1: the sendee is a dishonor but it does not ban grouped.; int1 & sent6 -> int2: the euphorbium is accessional.; int2 & sent17 -> int3: the euphorbium is a butchery.; int3 & sent16 -> int4: the euphorbium is a lanai.; int4 & sent3 -> int5: the fact that the fact that the euphorbium is not hairy and it is not a kind of a ditch is not right is not wrong.; int5 -> int6: there exists something such that the fact that it is both not hairy and not a ditch is wrong.; int6 & sent20 -> int7: the seaway does not ban Blackburn.; int7 & sent9 -> hypothesis; __DISPROVED__