the birdlime is a contention.
sent1: the birdlime is not a kind of a contention if it is not a Mercedario and does metamorphose. sent2: if something that is a Mercedario does not metamorphose the fact that it is not a contention hold. sent3: something is a contention and it is a kind of a dregs if it is not discordant. sent4: that the birdlime is not a kind of the contention if the birdlime is a kind of a Mercedario but it does not metamorphose is not incorrect. sent5: if something is not a kind of a Mercedario and it does not metamorphose then the fact that it is not a contention is not incorrect. sent6: the birdlime is a dregs. sent7: the birdlime is not a kind of a Mercedario and it does not metamorphose if it is a kind of a dregs. sent8: the birdlime is not unapologetic. sent9: the lepidopterist is a Mercedario. sent10: the birdlime does not warm zygote if it is not a dregs and it does not carbonate election.
sent5 -> int1: if the birdlime is not a kind of a Mercedario and does not metamorphose then it is not a contention.; sent7 & sent6 -> int2: the birdlime is not a Mercedario and does not metamorphose.; int1 & int2 -> hypothesis;
the birdlime is a kind of a contention.
sent3 -> int3: that the birdlime is a contention and it is the dregs if the birdlime is not discordant hold.;
$hypothesis$ = the birdlime is a contention. ; $context$ = sent1: the birdlime is not a kind of a contention if it is not a Mercedario and does metamorphose. sent2: if something that is a Mercedario does not metamorphose the fact that it is not a contention hold. sent3: something is a contention and it is a kind of a dregs if it is not discordant. sent4: that the birdlime is not a kind of the contention if the birdlime is a kind of a Mercedario but it does not metamorphose is not incorrect. sent5: if something is not a kind of a Mercedario and it does not metamorphose then the fact that it is not a contention is not incorrect. sent6: the birdlime is a dregs. sent7: the birdlime is not a kind of a Mercedario and it does not metamorphose if it is a kind of a dregs. sent8: the birdlime is not unapologetic. sent9: the lepidopterist is a Mercedario. sent10: the birdlime does not warm zygote if it is not a dregs and it does not carbonate election. ; $proof$ = 
sent5 -> int1: if the birdlime is not a kind of a Mercedario and does not metamorphose then it is not a contention.; sent7 & sent6 -> int2: the birdlime is not a Mercedario and does not metamorphose.; int1 & int2 -> hypothesis; __DISPROVED__