that the staplegun does interpret Trichodontidae and does not subdivide particularism is wrong.
sent1: the staplegun does interpret Trichodontidae but it does not subdivide particularism if the all-rounder does not subdivide particularism. sent2: if the fact that the seventy-eight is dacitic hold it is not bloody. sent3: if that the all-rounder does not subdivide particularism is right the staplegun does interpret Trichodontidae. sent4: that the seventy-eight is a causing is right. sent5: if the seventy-eight is not dacitic then it does not vary and/or it is not a kind of an assent. sent6: the piperazine is not a anathematization if the seventy-eight does not vary. sent7: the piperazine is not a kind of a anathematization if the seventy-eight does not vary and/or it is not an assent. sent8: either the seventy-eight does vary or it is not an assent or both if the fact that it is not dacitic is not wrong. sent9: if the piperazine is not a anathematization the all-rounder is idiopathic but not a anathematization. sent10: if the seventy-eight is a kind of a causing then it bloodies. sent11: the all-rounder does not subdivide particularism if it is idiopathic and it is not a anathematization.
void -> assump1: Let's assume that the fact that the seventy-eight is dacitic is right.; sent2 & assump1 -> int1: the seventy-eight is not bloody.; sent10 & sent4 -> int2: the seventy-eight does bloody.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the seventy-eight is not dacitic.; int4 & sent5 -> int5: the seventy-eight does not vary and/or it is not an assent.; int5 & sent7 -> int6: the piperazine is not a anathematization.; int6 & sent9 -> int7: the all-rounder is both not non-idiopathic and not a anathematization.; int7 & sent11 -> int8: the all-rounder does not subdivide particularism.; int8 & sent1 -> hypothesis;
$hypothesis$ = that the staplegun does interpret Trichodontidae and does not subdivide particularism is wrong. ; $context$ = sent1: the staplegun does interpret Trichodontidae but it does not subdivide particularism if the all-rounder does not subdivide particularism. sent2: if the fact that the seventy-eight is dacitic hold it is not bloody. sent3: if that the all-rounder does not subdivide particularism is right the staplegun does interpret Trichodontidae. sent4: that the seventy-eight is a causing is right. sent5: if the seventy-eight is not dacitic then it does not vary and/or it is not a kind of an assent. sent6: the piperazine is not a anathematization if the seventy-eight does not vary. sent7: the piperazine is not a kind of a anathematization if the seventy-eight does not vary and/or it is not an assent. sent8: either the seventy-eight does vary or it is not an assent or both if the fact that it is not dacitic is not wrong. sent9: if the piperazine is not a anathematization the all-rounder is idiopathic but not a anathematization. sent10: if the seventy-eight is a kind of a causing then it bloodies. sent11: the all-rounder does not subdivide particularism if it is idiopathic and it is not a anathematization. ; $proof$ = 
void -> assump1: Let's assume that the fact that the seventy-eight is dacitic is right.; sent2 & assump1 -> int1: the seventy-eight is not bloody.; sent10 & sent4 -> int2: the seventy-eight does bloody.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the seventy-eight is not dacitic.; int4 & sent5 -> int5: the seventy-eight does not vary and/or it is not an assent.; int5 & sent7 -> int6: the piperazine is not a anathematization.; int6 & sent9 -> int7: the all-rounder is both not non-idiopathic and not a anathematization.; int7 & sent11 -> int8: the all-rounder does not subdivide particularism.; int8 & sent1 -> hypothesis; __DISPROVED__