the dictostylium is Roman and not liked.
sent1: the fact that either the culverin is point-of-sale or it does not sight tom or both does not hold if there exists something such that it does not suspect. sent2: the pongid is not a circularity if that the dictostylium is a Roman but it is not a kind of a liked does not hold. sent3: the fact that the dunker is a kind of antimonic thing that does not groove finagler does not hold if the culverin is antimonic. sent4: the culverin is antimonic if the trace is not a supertonic and is not a circularity. sent5: the sinus does sight tom and does polymerize if the dunker does not polymerize. sent6: that something is not a circularity but it is antimonic is not true if that it does groove finagler is correct. sent7: the fact that the dictostylium is Roman and does not like is incorrect if the pongid is not a supertonic. sent8: if the fact that the culverin either is point-of-sale or does not sight tom or both is not true the trace does not sight tom. sent9: there is something such that it is not a suspect. sent10: if that the dunker is antimonic thing that does not groove finagler does not hold then it does not polymerize. sent11: the trace is not a kind of a supertonic and is not a circularity if the pongid is not a circularity.
void -> assump1: Let's assume that that the dictostylium is Roman and does not like does not hold.; sent2 & assump1 -> int1: the pongid is not a circularity.; int1 & sent11 -> int2: the trace is not a supertonic and is not a circularity.; int2 & sent4 -> int3: the culverin is antimonic.; int3 & sent3 -> int4: that the fact that the dunker is antimonic and does not groove finagler does not hold is correct.; int4 & sent10 -> int5: the dunker does not polymerize.; int5 & sent5 -> int6: the sinus sights tom and it polymerizes.; int6 -> int7: the sinus does polymerize.;
that the dictostylium is a Roman but it is not a liked is false.
sent6 -> int8: that the pongid is not a circularity but antimonic is false if it does groove finagler.; sent9 & sent1 -> int9: that that the culverin is point-of-sale and/or it does not sight tom is not correct is correct.; sent8 & int9 -> int10: that the trace does not sight tom is true.; int10 -> int11: the fact that something does not sight tom hold.;
$hypothesis$ = the dictostylium is Roman and not liked. ; $context$ = sent1: the fact that either the culverin is point-of-sale or it does not sight tom or both does not hold if there exists something such that it does not suspect. sent2: the pongid is not a circularity if that the dictostylium is a Roman but it is not a kind of a liked does not hold. sent3: the fact that the dunker is a kind of antimonic thing that does not groove finagler does not hold if the culverin is antimonic. sent4: the culverin is antimonic if the trace is not a supertonic and is not a circularity. sent5: the sinus does sight tom and does polymerize if the dunker does not polymerize. sent6: that something is not a circularity but it is antimonic is not true if that it does groove finagler is correct. sent7: the fact that the dictostylium is Roman and does not like is incorrect if the pongid is not a supertonic. sent8: if the fact that the culverin either is point-of-sale or does not sight tom or both is not true the trace does not sight tom. sent9: there is something such that it is not a suspect. sent10: if that the dunker is antimonic thing that does not groove finagler does not hold then it does not polymerize. sent11: the trace is not a kind of a supertonic and is not a circularity if the pongid is not a circularity. ; $proof$ = 
void -> assump1: Let's assume that that the dictostylium is Roman and does not like does not hold.; sent2 & assump1 -> int1: the pongid is not a circularity.; int1 & sent11 -> int2: the trace is not a supertonic and is not a circularity.; int2 & sent4 -> int3: the culverin is antimonic.; int3 & sent3 -> int4: that the fact that the dunker is antimonic and does not groove finagler does not hold is correct.; int4 & sent10 -> int5: the dunker does not polymerize.; int5 & sent5 -> int6: the sinus sights tom and it polymerizes.; int6 -> int7: the sinus does polymerize.; __UNKNOWN__