if the confluence stunts amnesty but it is non-polar the hairnet is a cattalo.
sent1: the confluence is not polar. sent2: if the insulator is a heavy then that the diplococcus is a beneficiation but it is not a kind of a heavy is not correct. sent3: if the diplococcus does not riffle framer and it is not extrasensory that the hairnet is a kind of a cattalo is not false. sent4: the insulator is not non-heavy if there exists something such that it stunts amnesty and is not polar. sent5: if something does not bankrupt honeypot it is not extrasensory. sent6: if the fact that the diplococcus is a Gluck hold it does not riffle framer or it is a orthoptist or both. sent7: there exists something such that it is not polar. sent8: there is something such that it does stunt amnesty. sent9: the diplococcus is a kind of a Gluck. sent10: the hairnet is a cattalo if the confluence stunts amnesty and is polar. sent11: the diplococcus does riffle framer and/or it is a orthoptist. sent12: something does not bankrupt honeypot if that it is a beneficiation and non-heavy does not hold. sent13: the fact that if the diplococcus does not riffle framer and/or it is a kind of the orthoptist then the diplococcus does not riffle framer is not incorrect. sent14: the diplococcus does riffle framer and/or it is a kind of a orthoptist if it is a Gluck.
void -> assump1: Let's assume that the confluence stunts amnesty and is not polar.; assump1 -> int1: something does stunt amnesty but it is not polar.; int1 & sent4 -> int2: the insulator is not non-heavy.; int2 & sent2 -> int3: that the fact that the diplococcus is a beneficiation and is not a heavy is not right is correct.; sent12 -> int4: the diplococcus does not bankrupt honeypot if the fact that it is a beneficiation and it is not heavy does not hold.; int3 & int4 -> int5: the diplococcus does not bankrupt honeypot.; sent5 -> int6: if the diplococcus does not bankrupt honeypot then it is not extrasensory.; int5 & int6 -> int7: the diplococcus is not extrasensory.; sent6 & sent9 -> int8: the diplococcus does not riffle framer and/or it is a orthoptist.; sent13 & int8 -> int9: the diplococcus does not riffle framer.; int7 & int9 -> int10: the diplococcus does not riffle framer and is non-extrasensory.; int10 & sent3 -> int11: the hairnet is a cattalo.; [assump1] & int11 -> hypothesis;
$hypothesis$ = if the confluence stunts amnesty but it is non-polar the hairnet is a cattalo. ; $context$ = sent1: the confluence is not polar. sent2: if the insulator is a heavy then that the diplococcus is a beneficiation but it is not a kind of a heavy is not correct. sent3: if the diplococcus does not riffle framer and it is not extrasensory that the hairnet is a kind of a cattalo is not false. sent4: the insulator is not non-heavy if there exists something such that it stunts amnesty and is not polar. sent5: if something does not bankrupt honeypot it is not extrasensory. sent6: if the fact that the diplococcus is a Gluck hold it does not riffle framer or it is a orthoptist or both. sent7: there exists something such that it is not polar. sent8: there is something such that it does stunt amnesty. sent9: the diplococcus is a kind of a Gluck. sent10: the hairnet is a cattalo if the confluence stunts amnesty and is polar. sent11: the diplococcus does riffle framer and/or it is a orthoptist. sent12: something does not bankrupt honeypot if that it is a beneficiation and non-heavy does not hold. sent13: the fact that if the diplococcus does not riffle framer and/or it is a kind of the orthoptist then the diplococcus does not riffle framer is not incorrect. sent14: the diplococcus does riffle framer and/or it is a kind of a orthoptist if it is a Gluck. ; $proof$ = 
void -> assump1: Let's assume that the confluence stunts amnesty and is not polar.; assump1 -> int1: something does stunt amnesty but it is not polar.; int1 & sent4 -> int2: the insulator is not non-heavy.; int2 & sent2 -> int3: that the fact that the diplococcus is a beneficiation and is not a heavy is not right is correct.; sent12 -> int4: the diplococcus does not bankrupt honeypot if the fact that it is a beneficiation and it is not heavy does not hold.; int3 & int4 -> int5: the diplococcus does not bankrupt honeypot.; sent5 -> int6: if the diplococcus does not bankrupt honeypot then it is not extrasensory.; int5 & int6 -> int7: the diplococcus is not extrasensory.; sent6 & sent9 -> int8: the diplococcus does not riffle framer and/or it is a orthoptist.; sent13 & int8 -> int9: the diplococcus does not riffle framer.; int7 & int9 -> int10: the diplococcus does not riffle framer and is non-extrasensory.; int10 & sent3 -> int11: the hairnet is a cattalo.; [assump1] & int11 -> hypothesis; __PROVED__