the justice is not a parquet and does not clangor damsel.
sent1: there exists something such that it is not a kind of a abutter. sent2: the fact that the justice is a kind of a parquet that does not clangor damsel is not right. sent3: the soundboard is not a kind of a abutter but it is porcine. sent4: that that the justice is a parquet but it does not clangor damsel does not hold is right if the hellgrammiate is not a kind of a whisk. sent5: that the fact that the justice is not porcine and it does not clangor damsel is true is not true if the soundboard is not a parquet. sent6: that the aspersorium does not retouch hellgrammiate and it is not nonterritorial is not correct. sent7: the fact that the soundboard is not a kind of a abutter and it is not a kind of a whisk does not hold if the hellgrammiate is not porcine. sent8: there exists something such that it does not whisk and clangors damsel. sent9: if the justice is not a kind of a abutter then the fact that the hellgrammiate does not clangor damsel but it is a whisk is not right. sent10: the soundboard is not a abutter. sent11: if there exists something such that it is not a abutter and is porcine then the hellgrammiate is not a kind of a whisk. sent12: if that the hellgrammiate is not a whisk is correct then the fact that the justice is not a parquet and does not clangor damsel does not hold. sent13: if the hellgrammiate is not a whisk then the fact that the justice is not a parquet and is not porcine is not correct.
sent3 -> int1: something is both not a abutter and porcine.; int1 & sent11 -> int2: the hellgrammiate is not a whisk.; sent12 & int2 -> hypothesis;
$hypothesis$ = the justice is not a parquet and does not clangor damsel. ; $context$ = sent1: there exists something such that it is not a kind of a abutter. sent2: the fact that the justice is a kind of a parquet that does not clangor damsel is not right. sent3: the soundboard is not a kind of a abutter but it is porcine. sent4: that that the justice is a parquet but it does not clangor damsel does not hold is right if the hellgrammiate is not a kind of a whisk. sent5: that the fact that the justice is not porcine and it does not clangor damsel is true is not true if the soundboard is not a parquet. sent6: that the aspersorium does not retouch hellgrammiate and it is not nonterritorial is not correct. sent7: the fact that the soundboard is not a kind of a abutter and it is not a kind of a whisk does not hold if the hellgrammiate is not porcine. sent8: there exists something such that it does not whisk and clangors damsel. sent9: if the justice is not a kind of a abutter then the fact that the hellgrammiate does not clangor damsel but it is a whisk is not right. sent10: the soundboard is not a abutter. sent11: if there exists something such that it is not a abutter and is porcine then the hellgrammiate is not a kind of a whisk. sent12: if that the hellgrammiate is not a whisk is correct then the fact that the justice is not a parquet and does not clangor damsel does not hold. sent13: if the hellgrammiate is not a whisk then the fact that the justice is not a parquet and is not porcine is not correct. ; $proof$ = 
sent3 -> int1: something is both not a abutter and porcine.; int1 & sent11 -> int2: the hellgrammiate is not a whisk.; sent12 & int2 -> hypothesis; __DISPROVED__