there exists something such that it is not innocuous and it is Anglophobic.
sent1: if the participant is not a kind of a Astarte then the tinderbox is chlorotic and/or it does not avoid sleepover. sent2: the polygynist is not innocuous if the periosteum does avoid amplitude. sent3: either the tinderbox is not chlorotic or it does not avoid sleepover or both if the participant is not a Astarte. sent4: something is a bear that is a thinker if it is not futuristic. sent5: that the periosteum is not bregmatic but it does avoid amplitude is not right if the tinderbox is a thinker. sent6: that the fact that the periosteum is not bregmatic and it does not avoid amplitude is not true is not wrong if the tinderbox is a thinker. sent7: that the polygynist is not innocuous is not incorrect if that the periosteum is not bregmatic and does not avoid amplitude is wrong. sent8: there is something such that it is Anglophobic. sent9: the tinderbox is a bear if it is not futuristic. sent10: everything corresponds Calvino. sent11: everything is Anglophobic and corresponds Calvino. sent12: that the periosteum is not bregmatic and avoids amplitude is wrong. sent13: that something does not zone ecobabble and it is not painful is false if the fact that it is not a bear is right. sent14: the participant is not chlorotic. sent15: the fact that something is innocuous and it is Anglophobic is not incorrect. sent16: the participant is not a Astarte. sent17: something is not futuristic if it is not chlorotic. sent18: the tinderbox is a bear. sent19: the tinderbox is not futuristic if it is not chlorotic. sent20: the tinderbox is chlorotic and/or it does not avoid sleepover.
sent3 & sent16 -> int1: the tinderbox is not chlorotic or does not avoid sleepover or both.; sent4 -> int2: that the tinderbox is a bear that is a thinker is correct if it is not futuristic.; sent11 -> int3: the polygynist is a kind of Anglophobic thing that does correspond Calvino.; int3 -> int4: the polygynist is Anglophobic.;
that the chamber does not zone ecobabble and is not painful is not correct.
sent13 -> int5: that the periosteum does not zone ecobabble and it is not painful is not correct if it is not a bear.;
$hypothesis$ = there exists something such that it is not innocuous and it is Anglophobic. ; $context$ = sent1: if the participant is not a kind of a Astarte then the tinderbox is chlorotic and/or it does not avoid sleepover. sent2: the polygynist is not innocuous if the periosteum does avoid amplitude. sent3: either the tinderbox is not chlorotic or it does not avoid sleepover or both if the participant is not a Astarte. sent4: something is a bear that is a thinker if it is not futuristic. sent5: that the periosteum is not bregmatic but it does avoid amplitude is not right if the tinderbox is a thinker. sent6: that the fact that the periosteum is not bregmatic and it does not avoid amplitude is not true is not wrong if the tinderbox is a thinker. sent7: that the polygynist is not innocuous is not incorrect if that the periosteum is not bregmatic and does not avoid amplitude is wrong. sent8: there is something such that it is Anglophobic. sent9: the tinderbox is a bear if it is not futuristic. sent10: everything corresponds Calvino. sent11: everything is Anglophobic and corresponds Calvino. sent12: that the periosteum is not bregmatic and avoids amplitude is wrong. sent13: that something does not zone ecobabble and it is not painful is false if the fact that it is not a bear is right. sent14: the participant is not chlorotic. sent15: the fact that something is innocuous and it is Anglophobic is not incorrect. sent16: the participant is not a Astarte. sent17: something is not futuristic if it is not chlorotic. sent18: the tinderbox is a bear. sent19: the tinderbox is not futuristic if it is not chlorotic. sent20: the tinderbox is chlorotic and/or it does not avoid sleepover. ; $proof$ = 
sent3 & sent16 -> int1: the tinderbox is not chlorotic or does not avoid sleepover or both.; sent4 -> int2: that the tinderbox is a bear that is a thinker is correct if it is not futuristic.; sent11 -> int3: the polygynist is a kind of Anglophobic thing that does correspond Calvino.; int3 -> int4: the polygynist is Anglophobic.; __UNKNOWN__