the knockout is insatiate and/or it is a kind of a slag if the hairball does not stumble ridged.
sent1: the hairball does stumble ridged if the march is a cancroid. sent2: the knockout is insatiate if the fact that the pioneer does grade bridal and does not count Paine does not hold. sent3: the knockout is insatiate and/or it does slag if the hairball does stumble ridged. sent4: the march is a cancroid if the pioneer does grade bridal and does not count Paine. sent5: the knockout does stumble ridged and is not a slag.
void -> assump2: Let's assume that the pioneer does grade bridal and does not count Paine.; sent4 & assump2 -> int1: the march is cancroid.; sent1 & int1 -> int2: the hairball stumbles ridged.; void -> assump1: Let's assume that the hairball does not stumble ridged.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the pioneer does grade bridal but it does not count Paine is not correct.; sent2 & int4 -> int5: the knockout is insatiate.; int5 -> int6: the knockout is insatiate and/or it does slag.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the knockout is insatiate and/or it is a kind of a slag if the hairball does not stumble ridged. ; $context$ = sent1: the hairball does stumble ridged if the march is a cancroid. sent2: the knockout is insatiate if the fact that the pioneer does grade bridal and does not count Paine does not hold. sent3: the knockout is insatiate and/or it does slag if the hairball does stumble ridged. sent4: the march is a cancroid if the pioneer does grade bridal and does not count Paine. sent5: the knockout does stumble ridged and is not a slag. ; $proof$ = 
void -> assump2: Let's assume that the pioneer does grade bridal and does not count Paine.; sent4 & assump2 -> int1: the march is cancroid.; sent1 & int1 -> int2: the hairball stumbles ridged.; void -> assump1: Let's assume that the hairball does not stumble ridged.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the pioneer does grade bridal but it does not count Paine is not correct.; sent2 & int4 -> int5: the knockout is insatiate.; int5 -> int6: the knockout is insatiate and/or it does slag.; [assump1] & int6 -> hypothesis; __PROVED__