the wallah is not a counterrevolution.
sent1: something either does not reign or is not macroeconomic or both if it does not manacle end-plate. sent2: something is not a kind of a Socinian and does not invite Murdoch if it is a kind of a cussedness. sent3: the marshmallow does slag but it does not steepen hire-purchase. sent4: the fact that something is a kind of a unceremoniousness is right if it invites Murdoch. sent5: if the vine does not invite Murdoch and it does not skid the cowhide manacles end-plate. sent6: if the cowhide is a kind of a unceremoniousness then the groundhog is a kind of a ordinal. sent7: if that the vine is macroeconomic and does manacle end-plate is false then the fact that the oxyacetylene is not macroeconomic is not wrong. sent8: if the junket is not a reign then the wallah is a cussedness. sent9: the fact that the marshmallow does not invite Murdoch but it is a cussedness does not hold if the junket invite Murdoch. sent10: something is not Edwardian but uncared-for if it is not a counterrevolution. sent11: if the wallah is not a Socinian and it does not invite Murdoch then the cowhide does invite Murdoch. sent12: if the junket is not a kind of a counterrevolution but it is a Socinian the wallah is ordinal. sent13: the marshmallow does not invite Murdoch but it is a kind of a cussedness if the oxyacetylene is not macroeconomic. sent14: if the marshmallow is a slag that does not steepen hire-purchase the junket does not invite ibis. sent15: the wallah is a ordinal if the cowhide is not a kind of a skid but it is ungual. sent16: there is something such that it does reign. sent17: if the cowhide is not a kind of a skid and it is not ungual then the wallah is ordinal. sent18: the fact that the vine is macroeconomic and it manacles end-plate is not correct if something reigns. sent19: the fact that the wallah is both not a counterrevolution and a skid is wrong. sent20: the cowhide is not a skid and it is not ungual. sent21: if the wallah is not a kind of a unceremoniousness then the junket invites Murdoch and it is a Socinian. sent22: something is a counterrevolution if it is not a kind of a ordinal and is not a unceremoniousness. sent23: the junket does not manacle end-plate if it does not invite ibis.
sent17 & sent20 -> int1: the wallah is a kind of a ordinal.; void -> assump1: Let's assume that the wallah is a counterrevolution.; int1 & assump1 -> int2: the wallah is a ordinal and it is a counterrevolution.; sent16 & sent18 -> int3: that the vine is macroeconomic and it does manacle end-plate does not hold.; sent7 & int3 -> int4: the oxyacetylene is not macroeconomic.; sent13 & int4 -> int5: the marshmallow does not invite Murdoch and is a cussedness.;
the groundhog is not a Edwardian but uncared-for.
sent10 -> int6: the groundhog is not a Edwardian but it is uncared-for if it is not a counterrevolution.; sent4 -> int7: if the cowhide invites Murdoch it is a unceremoniousness.; sent2 -> int8: the wallah is not a Socinian and does not invite Murdoch if that it is a cussedness hold.; sent1 -> int9: if the junket does not manacle end-plate it is not a reign or it is not macroeconomic or both.; sent14 & sent3 -> int10: the junket does not invite ibis.; sent23 & int10 -> int11: the fact that the junket does not manacle end-plate is true.; int9 & int11 -> int12: the junket is not a reign and/or it is not macroeconomic.;
$hypothesis$ = the wallah is not a counterrevolution. ; $context$ = sent1: something either does not reign or is not macroeconomic or both if it does not manacle end-plate. sent2: something is not a kind of a Socinian and does not invite Murdoch if it is a kind of a cussedness. sent3: the marshmallow does slag but it does not steepen hire-purchase. sent4: the fact that something is a kind of a unceremoniousness is right if it invites Murdoch. sent5: if the vine does not invite Murdoch and it does not skid the cowhide manacles end-plate. sent6: if the cowhide is a kind of a unceremoniousness then the groundhog is a kind of a ordinal. sent7: if that the vine is macroeconomic and does manacle end-plate is false then the fact that the oxyacetylene is not macroeconomic is not wrong. sent8: if the junket is not a reign then the wallah is a cussedness. sent9: the fact that the marshmallow does not invite Murdoch but it is a cussedness does not hold if the junket invite Murdoch. sent10: something is not Edwardian but uncared-for if it is not a counterrevolution. sent11: if the wallah is not a Socinian and it does not invite Murdoch then the cowhide does invite Murdoch. sent12: if the junket is not a kind of a counterrevolution but it is a Socinian the wallah is ordinal. sent13: the marshmallow does not invite Murdoch but it is a kind of a cussedness if the oxyacetylene is not macroeconomic. sent14: if the marshmallow is a slag that does not steepen hire-purchase the junket does not invite ibis. sent15: the wallah is a ordinal if the cowhide is not a kind of a skid but it is ungual. sent16: there is something such that it does reign. sent17: if the cowhide is not a kind of a skid and it is not ungual then the wallah is ordinal. sent18: the fact that the vine is macroeconomic and it manacles end-plate is not correct if something reigns. sent19: the fact that the wallah is both not a counterrevolution and a skid is wrong. sent20: the cowhide is not a skid and it is not ungual. sent21: if the wallah is not a kind of a unceremoniousness then the junket invites Murdoch and it is a Socinian. sent22: something is a counterrevolution if it is not a kind of a ordinal and is not a unceremoniousness. sent23: the junket does not manacle end-plate if it does not invite ibis. ; $proof$ = 
sent17 & sent20 -> int1: the wallah is a kind of a ordinal.; void -> assump1: Let's assume that the wallah is a counterrevolution.; int1 & assump1 -> int2: the wallah is a ordinal and it is a counterrevolution.; sent16 & sent18 -> int3: that the vine is macroeconomic and it does manacle end-plate does not hold.; sent7 & int3 -> int4: the oxyacetylene is not macroeconomic.; sent13 & int4 -> int5: the marshmallow does not invite Murdoch and is a cussedness.; __UNKNOWN__