the fact that the ultrasound does comfort ununhexium and it is substantial is not false.
sent1: the nogging is not a kind of a cardiomegaly and/or it is insurrectional if it does not comfort Rhone. sent2: if that the ultrasound does not comfort anonymity is not wrong then the fact that it comforts ununhexium and is not a Serbian is false. sent3: something is not transitional if it is insurrectional. sent4: the fact that the greens does comfort ununhexium hold. sent5: if the ultrasound is a kind of a positive it does comfort ununhexium. sent6: if the ultrasound is unacquisitive then the greens is a positive. sent7: the ultrasound is a positive if the nogging comforts Rhone. sent8: if there exists something such that the fact that it comforts anonymity is not wrong then the nogging is transitional. sent9: the ultrasound does not reflectorize Herzberg. sent10: that the ultrasound is not substantial does not hold. sent11: the fact that the ostrich is positive and it is a Serbian is not true if it does not comfort ununhexium. sent12: the nogging is not a kind of a homosexual. sent13: if the greens is not insurrectional then it does not comfort anonymity. sent14: if that the ultrasound does not comfort ununhexium is right then it either is a cardiomegaly or comforts anonymity or both. sent15: the greens is positive. sent16: the greens is not a Occam. sent17: the fact that something comforts ununhexium and it is substantial is not right if it does not comfort Rhone. sent18: the fact that the nogging is a kind of a Occam and it is a kind of a Serbian is wrong. sent19: that something is a Occam and not a Serbian does not hold if it is not transitional. sent20: the nogging is a Occam but it is not a Serbian if there exists something such that it is not acquisitive. sent21: the greens is not acquisitive and does not comfort anonymity. sent22: if something does not draw birdnesting then it is not a kind of a pattern. sent23: the fact that the greens is positive and is not substantial is incorrect if it is not unacquisitive.
void -> assump1: Let's assume that the nogging does not comfort Rhone.; sent1 & assump1 -> int1: the nogging is not a cardiomegaly or is insurrectional or both.; sent19 -> int2: that the nogging is a kind of a Occam that is not a Serbian is not true if it is not transitional.; sent21 -> int3: the greens is unacquisitive.; int3 -> int4: there is something such that it is unacquisitive.; int4 & sent20 -> int5: the nogging is a Occam and is not a Serbian.;
the fact that the ultrasound comforts ununhexium and it is substantial is not true.
sent17 -> int6: if the fact that the ultrasound does comfort Rhone is wrong the fact that it comforts ununhexium and is substantial is not correct.;
$hypothesis$ = the fact that the ultrasound does comfort ununhexium and it is substantial is not false. ; $context$ = sent1: the nogging is not a kind of a cardiomegaly and/or it is insurrectional if it does not comfort Rhone. sent2: if that the ultrasound does not comfort anonymity is not wrong then the fact that it comforts ununhexium and is not a Serbian is false. sent3: something is not transitional if it is insurrectional. sent4: the fact that the greens does comfort ununhexium hold. sent5: if the ultrasound is a kind of a positive it does comfort ununhexium. sent6: if the ultrasound is unacquisitive then the greens is a positive. sent7: the ultrasound is a positive if the nogging comforts Rhone. sent8: if there exists something such that the fact that it comforts anonymity is not wrong then the nogging is transitional. sent9: the ultrasound does not reflectorize Herzberg. sent10: that the ultrasound is not substantial does not hold. sent11: the fact that the ostrich is positive and it is a Serbian is not true if it does not comfort ununhexium. sent12: the nogging is not a kind of a homosexual. sent13: if the greens is not insurrectional then it does not comfort anonymity. sent14: if that the ultrasound does not comfort ununhexium is right then it either is a cardiomegaly or comforts anonymity or both. sent15: the greens is positive. sent16: the greens is not a Occam. sent17: the fact that something comforts ununhexium and it is substantial is not right if it does not comfort Rhone. sent18: the fact that the nogging is a kind of a Occam and it is a kind of a Serbian is wrong. sent19: that something is a Occam and not a Serbian does not hold if it is not transitional. sent20: the nogging is a Occam but it is not a Serbian if there exists something such that it is not acquisitive. sent21: the greens is not acquisitive and does not comfort anonymity. sent22: if something does not draw birdnesting then it is not a kind of a pattern. sent23: the fact that the greens is positive and is not substantial is incorrect if it is not unacquisitive. ; $proof$ = 
void -> assump1: Let's assume that the nogging does not comfort Rhone.; sent1 & assump1 -> int1: the nogging is not a cardiomegaly or is insurrectional or both.; sent19 -> int2: that the nogging is a kind of a Occam that is not a Serbian is not true if it is not transitional.; sent21 -> int3: the greens is unacquisitive.; int3 -> int4: there is something such that it is unacquisitive.; int4 & sent20 -> int5: the nogging is a Occam and is not a Serbian.; __UNKNOWN__