the malfeasant is a mezereon and it tailgates indexer.
sent1: if something drills streptokinase it drills shamble. sent2: the Pomeranian drills streptokinase if that the dramatist is a kind of non-legless thing that congregates does not hold. sent3: if the Pomeranian is not a tangor it is legless and it congregates. sent4: either something does drill shamble or it is not a mezereon or both if it is not a tangor. sent5: that the malfeasant is not a mezereon is not incorrect if that it drills Cyclosorus and is not a tangor does not hold. sent6: something that does not drill shamble drills Cyclosorus or does not reheat gooney or both. sent7: if the pewee does tailgate Khoisan then the malfeasant is a mezereon. sent8: that something is legless but it does not drill streptokinase is false if it does drill shamble. sent9: if something does not drill shamble then it drills Cyclosorus or is not Ptolemaic or both. sent10: that that the dramatist is not legless but it does congregate is incorrect is true if the sloganeer is not a tangor. sent11: the fact that either the pewee does drill Cyclosorus or it is not Ptolemaic or both is false. sent12: if the pewee tailgates indexer the fact that it drills shamble and it does not drill Cyclosorus is not right. sent13: the malfeasant does not drill shamble if the Pomeranian does not drill streptokinase and does drill shamble. sent14: if the pewee does not congregate then it tailgates Khoisan and/or it is a tangor. sent15: the malfeasant tailgates indexer. sent16: if the fact that the pewee is not legged but it does not drill streptokinase is not right then it does not congregate. sent17: The indexer tailgates malfeasant.
sent9 -> int1: if the pewee does not drill shamble it does drill Cyclosorus and/or it is not Ptolemaic.; void -> assump1: Let's assume that that the pewee does not drill shamble hold.; int1 & assump1 -> int2: the pewee either does drill Cyclosorus or is not Ptolemaic or both.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pewee does drill shamble.; sent8 -> int5: the fact that the pewee is a kind of legless thing that does not drill streptokinase is false if it does drill shamble.; int4 & int5 -> int6: the fact that the pewee is legless and does not drill streptokinase is not true.; int6 & sent16 -> int7: the pewee does not congregate.; int7 & sent14 -> int8: the pewee tailgates Khoisan or is a tangor or both.;
that the malfeasant drills Cyclosorus and/or it does not reheat gooney is not incorrect.
sent6 -> int9: the malfeasant drills Cyclosorus and/or it does not reheat gooney if it does not drill shamble.;
$hypothesis$ = the malfeasant is a mezereon and it tailgates indexer. ; $context$ = sent1: if something drills streptokinase it drills shamble. sent2: the Pomeranian drills streptokinase if that the dramatist is a kind of non-legless thing that congregates does not hold. sent3: if the Pomeranian is not a tangor it is legless and it congregates. sent4: either something does drill shamble or it is not a mezereon or both if it is not a tangor. sent5: that the malfeasant is not a mezereon is not incorrect if that it drills Cyclosorus and is not a tangor does not hold. sent6: something that does not drill shamble drills Cyclosorus or does not reheat gooney or both. sent7: if the pewee does tailgate Khoisan then the malfeasant is a mezereon. sent8: that something is legless but it does not drill streptokinase is false if it does drill shamble. sent9: if something does not drill shamble then it drills Cyclosorus or is not Ptolemaic or both. sent10: that that the dramatist is not legless but it does congregate is incorrect is true if the sloganeer is not a tangor. sent11: the fact that either the pewee does drill Cyclosorus or it is not Ptolemaic or both is false. sent12: if the pewee tailgates indexer the fact that it drills shamble and it does not drill Cyclosorus is not right. sent13: the malfeasant does not drill shamble if the Pomeranian does not drill streptokinase and does drill shamble. sent14: if the pewee does not congregate then it tailgates Khoisan and/or it is a tangor. sent15: the malfeasant tailgates indexer. sent16: if the fact that the pewee is not legged but it does not drill streptokinase is not right then it does not congregate. sent17: The indexer tailgates malfeasant. ; $proof$ = 
sent9 -> int1: if the pewee does not drill shamble it does drill Cyclosorus and/or it is not Ptolemaic.; void -> assump1: Let's assume that that the pewee does not drill shamble hold.; int1 & assump1 -> int2: the pewee either does drill Cyclosorus or is not Ptolemaic or both.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the pewee does drill shamble.; sent8 -> int5: the fact that the pewee is a kind of legless thing that does not drill streptokinase is false if it does drill shamble.; int4 & int5 -> int6: the fact that the pewee is legless and does not drill streptokinase is not true.; int6 & sent16 -> int7: the pewee does not congregate.; int7 & sent14 -> int8: the pewee tailgates Khoisan or is a tangor or both.; __UNKNOWN__