the adducer does interfere goad.
sent1: the adducer is not a daleth. sent2: the adducer interferes Archidiskidon and it is a Homaridae. sent3: the stainless is not civil if it is not a daleth and it is not a sourness. sent4: the fact that the stainless does not interfere goad and is not a sourness does not hold. sent5: the stainless is civil. sent6: if the cardholder is both not an alimony and not a sourness the fact that it is not a kind of a rope is not false. sent7: the adducer is not a national if there exists something such that it ejects. sent8: something is civil if it is a Homaridae and does not uplift Hallel. sent9: the adducer does not interfere goad if there exists something such that that it is not a daleth and is not a kind of a sourness is not right. sent10: the stainless is not cherty. sent11: that the adducer interferes goad but it is uncivil is not right. sent12: something does interfere goad if it is civil. sent13: if the adducer does not interfere steenbok it interferes based and uplifts diet. sent14: if something interferes based it does not uplift Hallel. sent15: if there exists something such that the fact that it is not a kind of a daleth and it does not interfere goad does not hold then the stainless is not a kind of a sourness.
void -> assump1: Let's assume that the stainless is not a daleth and it is not a sourness.; sent3 & assump1 -> int1: the stainless is not civil.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the stainless is not a daleth and it is not a kind of a sourness is not correct.; int3 -> int4: there exists something such that the fact that it is both not a daleth and not a sourness is not right.; int4 & sent9 -> hypothesis;
the adducer interferes goad.
sent12 -> int5: the adducer does interfere goad if it is civil.; sent8 -> int6: the adducer is civil if it is a Homaridae and it does not uplift Hallel.; sent2 -> int7: the adducer is a Homaridae.; sent14 -> int8: the adducer does not uplift Hallel if it does interfere based.;
$hypothesis$ = the adducer does interfere goad. ; $context$ = sent1: the adducer is not a daleth. sent2: the adducer interferes Archidiskidon and it is a Homaridae. sent3: the stainless is not civil if it is not a daleth and it is not a sourness. sent4: the fact that the stainless does not interfere goad and is not a sourness does not hold. sent5: the stainless is civil. sent6: if the cardholder is both not an alimony and not a sourness the fact that it is not a kind of a rope is not false. sent7: the adducer is not a national if there exists something such that it ejects. sent8: something is civil if it is a Homaridae and does not uplift Hallel. sent9: the adducer does not interfere goad if there exists something such that that it is not a daleth and is not a kind of a sourness is not right. sent10: the stainless is not cherty. sent11: that the adducer interferes goad but it is uncivil is not right. sent12: something does interfere goad if it is civil. sent13: if the adducer does not interfere steenbok it interferes based and uplifts diet. sent14: if something interferes based it does not uplift Hallel. sent15: if there exists something such that the fact that it is not a kind of a daleth and it does not interfere goad does not hold then the stainless is not a kind of a sourness. ; $proof$ = 
void -> assump1: Let's assume that the stainless is not a daleth and it is not a sourness.; sent3 & assump1 -> int1: the stainless is not civil.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the stainless is not a daleth and it is not a kind of a sourness is not correct.; int3 -> int4: there exists something such that the fact that it is both not a daleth and not a sourness is not right.; int4 & sent9 -> hypothesis; __DISPROVED__