the imago is not a hyoid.
sent1: the tremble bicycles rheumatologist. sent2: the imago is not a kind of a hyoid if the spherocyte is a chlorophyll and/or it is pronounceable. sent3: the tremble is a chlorophyll. sent4: the spherocyte strokes Mombasa. sent5: the imago does not impale if the tremble is a hyoid. sent6: the imago impales if the tremble is hyoid. sent7: the tremble does not impale. sent8: the imago is not a chlorophyll. sent9: if the spherocyte does not bicycle rheumatologist then the plaque is pronounceable. sent10: the plaque is a chlorophyll if the spherocyte is pronounceable. sent11: if the plaque does not impale the tremble is pronounceable. sent12: if the spherocyte is not pronounceable the plaque is a kind of a chlorophyll. sent13: if the plaque is pronounceable the tremble impales. sent14: the fact that the tremble does bicycle rheumatologist is correct if the spherocyte impales. sent15: if the plaque does impale the tremble is not pronounceable. sent16: if the imago is pronounceable then the plaque is hyoid. sent17: the imago is not a mambo. sent18: the spherocyte is a copal. sent19: the tremble is not a hyoid.
void -> assump1: Let's assume that that the spherocyte does bicycle rheumatologist is wrong.; sent9 & assump1 -> int1: the plaque is pronounceable.; int1 & sent13 -> int2: the tremble impales.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spherocyte does bicycle rheumatologist.; int4 -> int5: the spherocyte either does bicycle rheumatologist or is a chlorophyll or both.;
$hypothesis$ = the imago is not a hyoid. ; $context$ = sent1: the tremble bicycles rheumatologist. sent2: the imago is not a kind of a hyoid if the spherocyte is a chlorophyll and/or it is pronounceable. sent3: the tremble is a chlorophyll. sent4: the spherocyte strokes Mombasa. sent5: the imago does not impale if the tremble is a hyoid. sent6: the imago impales if the tremble is hyoid. sent7: the tremble does not impale. sent8: the imago is not a chlorophyll. sent9: if the spherocyte does not bicycle rheumatologist then the plaque is pronounceable. sent10: the plaque is a chlorophyll if the spherocyte is pronounceable. sent11: if the plaque does not impale the tremble is pronounceable. sent12: if the spherocyte is not pronounceable the plaque is a kind of a chlorophyll. sent13: if the plaque is pronounceable the tremble impales. sent14: the fact that the tremble does bicycle rheumatologist is correct if the spherocyte impales. sent15: if the plaque does impale the tremble is not pronounceable. sent16: if the imago is pronounceable then the plaque is hyoid. sent17: the imago is not a mambo. sent18: the spherocyte is a copal. sent19: the tremble is not a hyoid. ; $proof$ = 
void -> assump1: Let's assume that that the spherocyte does bicycle rheumatologist is wrong.; sent9 & assump1 -> int1: the plaque is pronounceable.; int1 & sent13 -> int2: the tremble impales.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spherocyte does bicycle rheumatologist.; int4 -> int5: the spherocyte either does bicycle rheumatologist or is a chlorophyll or both.; __UNKNOWN__