the tentmaker does not browse laelia and it is not a kind of a yawn.
sent1: the tentmaker is not a yawn. sent2: that the pontifical is not gastrointestinal but it is a Polycarp is wrong. sent3: the tentmaker does not browse laelia and it is not a yawn if the legging is a kind of a Ballistite. sent4: the pontifical is not a Polycarp if the dallier is a kind of a claymore and it is a candlepin. sent5: the fact that the tentmaker does not yawn is right if the legging is a Ballistite. sent6: the legging is a claymore. sent7: the fact that if the dallier is not a claymore then the legging is a claymore is not false. sent8: the fact that the pontifical is a kind of a Polycarp is right if the fact that it is a kind of non-gastrointestinal thing that is not a Polycarp is false. sent9: the dallier is a kind of a candlepin. sent10: that the legging is a Ballistite hold if it is a burlesque. sent11: that the pontifical is not gastrointestinal and it is not a kind of a Polycarp is false.
void -> assump1: Let's assume that the dallier is a kind of a claymore.; assump1 & sent9 -> int1: the dallier is a claymore and it is a candlepin.; int1 & sent4 -> int2: the pontifical is not a Polycarp.; sent8 & sent11 -> int3: the pontifical is a kind of a Polycarp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dallier is not a claymore.;
$hypothesis$ = the tentmaker does not browse laelia and it is not a kind of a yawn. ; $context$ = sent1: the tentmaker is not a yawn. sent2: that the pontifical is not gastrointestinal but it is a Polycarp is wrong. sent3: the tentmaker does not browse laelia and it is not a yawn if the legging is a kind of a Ballistite. sent4: the pontifical is not a Polycarp if the dallier is a kind of a claymore and it is a candlepin. sent5: the fact that the tentmaker does not yawn is right if the legging is a Ballistite. sent6: the legging is a claymore. sent7: the fact that if the dallier is not a claymore then the legging is a claymore is not false. sent8: the fact that the pontifical is a kind of a Polycarp is right if the fact that it is a kind of non-gastrointestinal thing that is not a Polycarp is false. sent9: the dallier is a kind of a candlepin. sent10: that the legging is a Ballistite hold if it is a burlesque. sent11: that the pontifical is not gastrointestinal and it is not a kind of a Polycarp is false. ; $proof$ = 
void -> assump1: Let's assume that the dallier is a kind of a claymore.; assump1 & sent9 -> int1: the dallier is a claymore and it is a candlepin.; int1 & sent4 -> int2: the pontifical is not a Polycarp.; sent8 & sent11 -> int3: the pontifical is a kind of a Polycarp.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the dallier is not a claymore.; __UNKNOWN__