the spadefish is not a Somrai.
sent1: the penknife is not a stir if the fact that either the hogan is a bounty or it is not a Somrai or both is incorrect. sent2: the hogan is a frottage and/or it directs. sent3: the spadefish is not a Somrai if it is not a frottage. sent4: something is a stir if it is not a kind of a WMD. sent5: the spadefish is not a bounty if the hogan is a kind of a frottage. sent6: if something that is not a Somrai is a frottage then the hogan is not a bathroom. sent7: if the hogan is not a bounty then that the spadefish is a kind of non-Mozartian thing that is not a kind of a Somrai is wrong. sent8: something is both a stir and Mozartian if it is not a WMD. sent9: if the hogan is a stir but it is not a WMD the spadefish is not Mozartian. sent10: there exists something such that it is not a bounty. sent11: if the grotesque is not a bathroom it is not a WMD. sent12: something is not a WMD if it is a bathroom and it is an analogue. sent13: if the hogan is either a frottage or directed or both then the spadefish is not a bounty. sent14: something is a bathroom and it is a frottage if it is not a bounty. sent15: the grotesque is not a bathroom. sent16: the grotesque is non-directed a Anglicism. sent17: the grotesque stirs. sent18: that the hogan is not a bathroom does not hold if it is a kind of an analogue. sent19: something is a Somrai. sent20: the hogan does stir. sent21: something that is not Mozartian is a Somrai that is a kind of a bounty. sent22: if the grotesque is not a kind of a WMD then it is a stir. sent23: something is a bathroom and is a kind of a Somrai. sent24: there is something such that it is a bounty and it is a kind of a Somrai. sent25: the fact that the hogan either is a kind of a bounty or is not a kind of a Somrai or both is incorrect if it is Mozartian. sent26: the grotesque is not Mozartian if there is something such that it is not a bounty and it is a Somrai.
sent13 & sent2 -> int1: the spadefish is not a bounty.; void -> assump1: Let's assume that the spadefish is a Somrai.; int1 & assump1 -> int2: the spadefish is not a bounty but a Somrai.; int2 -> int3: there exists something such that it is not a bounty and it is a Somrai.; int3 & sent26 -> int4: the grotesque is not Mozartian.; sent8 -> int5: the grotesque is a stir and Mozartian if it is not a WMD.; sent11 & sent15 -> int6: the grotesque is not a WMD.; int5 & int6 -> int7: the grotesque is a stir and it is Mozartian.; int7 -> int8: the grotesque is Mozartian.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the fact that the spadefish is a Somrai is not false.
sent21 -> int10: the spadefish is a kind of a Somrai and is a bounty if it is not Mozartian.; sent12 -> int11: if the hogan is a bathroom and it is an analogue then it is not a WMD.;
$hypothesis$ = the spadefish is not a Somrai. ; $context$ = sent1: the penknife is not a stir if the fact that either the hogan is a bounty or it is not a Somrai or both is incorrect. sent2: the hogan is a frottage and/or it directs. sent3: the spadefish is not a Somrai if it is not a frottage. sent4: something is a stir if it is not a kind of a WMD. sent5: the spadefish is not a bounty if the hogan is a kind of a frottage. sent6: if something that is not a Somrai is a frottage then the hogan is not a bathroom. sent7: if the hogan is not a bounty then that the spadefish is a kind of non-Mozartian thing that is not a kind of a Somrai is wrong. sent8: something is both a stir and Mozartian if it is not a WMD. sent9: if the hogan is a stir but it is not a WMD the spadefish is not Mozartian. sent10: there exists something such that it is not a bounty. sent11: if the grotesque is not a bathroom it is not a WMD. sent12: something is not a WMD if it is a bathroom and it is an analogue. sent13: if the hogan is either a frottage or directed or both then the spadefish is not a bounty. sent14: something is a bathroom and it is a frottage if it is not a bounty. sent15: the grotesque is not a bathroom. sent16: the grotesque is non-directed a Anglicism. sent17: the grotesque stirs. sent18: that the hogan is not a bathroom does not hold if it is a kind of an analogue. sent19: something is a Somrai. sent20: the hogan does stir. sent21: something that is not Mozartian is a Somrai that is a kind of a bounty. sent22: if the grotesque is not a kind of a WMD then it is a stir. sent23: something is a bathroom and is a kind of a Somrai. sent24: there is something such that it is a bounty and it is a kind of a Somrai. sent25: the fact that the hogan either is a kind of a bounty or is not a kind of a Somrai or both is incorrect if it is Mozartian. sent26: the grotesque is not Mozartian if there is something such that it is not a bounty and it is a Somrai. ; $proof$ = 
sent13 & sent2 -> int1: the spadefish is not a bounty.; void -> assump1: Let's assume that the spadefish is a Somrai.; int1 & assump1 -> int2: the spadefish is not a bounty but a Somrai.; int2 -> int3: there exists something such that it is not a bounty and it is a Somrai.; int3 & sent26 -> int4: the grotesque is not Mozartian.; sent8 -> int5: the grotesque is a stir and Mozartian if it is not a WMD.; sent11 & sent15 -> int6: the grotesque is not a WMD.; int5 & int6 -> int7: the grotesque is a stir and it is Mozartian.; int7 -> int8: the grotesque is Mozartian.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__