the tack is both not non-arteriosclerotic and not non-bracteal if the Malay does not rebel.
sent1: if something is not dark then it is adsorbable and it does not quarantine Padda. sent2: the glucagon does quarantine Padda. sent3: the fact that that the tack is arteriosclerotic is not false if the glucagon is not unmown and it does not quarantine one-hitter hold. sent4: the glucagon does not quarantine one-hitter and is not bracteal. sent5: the fact that the tossup is arteriosclerotic is correct. sent6: if the Malay is a pika the tack is bracteal. sent7: something is adsorbable if it is not dark. sent8: the Malay does rebel if it is adsorbable and it does not quarantine Padda. sent9: if something is dark that it is a kind of a pika hold.
sent1 -> int1: if the Malay is not a dark then it is adsorbable thing that does not quarantine Padda.; void -> assump1: Let's assume that the Malay is not a kind of a dark.; int1 & assump1 -> int2: the Malay is adsorbable but it does not quarantine Padda.; int2 & sent8 -> int3: the Malay rebels.; void -> assump2: Let's assume that the Malay does not rebel.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Malay is a kind of a dark.; sent9 -> int6: the Malay is a pika if it is dark.; int5 & int6 -> int7: the Malay is a pika.; int7 & sent6 -> int8: the tack is bracteal.;
$hypothesis$ = the tack is both not non-arteriosclerotic and not non-bracteal if the Malay does not rebel. ; $context$ = sent1: if something is not dark then it is adsorbable and it does not quarantine Padda. sent2: the glucagon does quarantine Padda. sent3: the fact that that the tack is arteriosclerotic is not false if the glucagon is not unmown and it does not quarantine one-hitter hold. sent4: the glucagon does not quarantine one-hitter and is not bracteal. sent5: the fact that the tossup is arteriosclerotic is correct. sent6: if the Malay is a pika the tack is bracteal. sent7: something is adsorbable if it is not dark. sent8: the Malay does rebel if it is adsorbable and it does not quarantine Padda. sent9: if something is dark that it is a kind of a pika hold. ; $proof$ = 
sent1 -> int1: if the Malay is not a dark then it is adsorbable thing that does not quarantine Padda.; void -> assump1: Let's assume that the Malay is not a kind of a dark.; int1 & assump1 -> int2: the Malay is adsorbable but it does not quarantine Padda.; int2 & sent8 -> int3: the Malay rebels.; void -> assump2: Let's assume that the Malay does not rebel.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Malay is a kind of a dark.; sent9 -> int6: the Malay is a pika if it is dark.; int5 & int6 -> int7: the Malay is a pika.; int7 & sent6 -> int8: the tack is bracteal.; __UNKNOWN__