that the Virgo is a kind of a petty hold.
sent1: the heliozoan is a curmudgeon. sent2: the fact that the Virgo is vitiliginous and it is a curmudgeon is not correct if it is unproductive. sent3: if the Virgo is not a petty it is non-vitiliginous and is a curmudgeon. sent4: something is nosocomial if that the fact that it is both not a rhinencephalon and not nosocomial is right is wrong. sent5: the Virgo is not vitiliginous but it does pitch one-ten-thousandth if it is not multiform. sent6: if the goffer is not striate then that it does pitch Catostomus and it is a kind of a rhinencephalon hold. sent7: the Virgo is not vitiliginous. sent8: something is unproductive and is not federal if it is a Turdidae. sent9: if something is both not productive and non-federal it is a kind of a petty. sent10: the graphologist is a petty. sent11: the fact that if the goffer is nosocomial and/or the rhinencephalon the goffer is not a Turdidae hold. sent12: the fact that the Virgo is not a rhinencephalon and is not nosocomial is not right if it pitches Catostomus. sent13: the Virgo is unproductive. sent14: the roller-skater is a Turdidae if the Virgo is nosocomial. sent15: the Virgo is not vitiliginous if it is not a petty. sent16: that something is federal and not unproductive is false if it is not a kind of a Turdidae. sent17: the fact that the Virgo is a paraquat and it is gentile is false.
void -> assump1: Let's assume that the Virgo is not a petty.; sent3 & assump1 -> int1: the Virgo is not vitiliginous but a curmudgeon.;
the Virgo is not a petty.
sent16 -> int2: if the goffer is not a Turdidae that it is not non-federal and it is not unproductive is not correct.;
$hypothesis$ = that the Virgo is a kind of a petty hold. ; $context$ = sent1: the heliozoan is a curmudgeon. sent2: the fact that the Virgo is vitiliginous and it is a curmudgeon is not correct if it is unproductive. sent3: if the Virgo is not a petty it is non-vitiliginous and is a curmudgeon. sent4: something is nosocomial if that the fact that it is both not a rhinencephalon and not nosocomial is right is wrong. sent5: the Virgo is not vitiliginous but it does pitch one-ten-thousandth if it is not multiform. sent6: if the goffer is not striate then that it does pitch Catostomus and it is a kind of a rhinencephalon hold. sent7: the Virgo is not vitiliginous. sent8: something is unproductive and is not federal if it is a Turdidae. sent9: if something is both not productive and non-federal it is a kind of a petty. sent10: the graphologist is a petty. sent11: the fact that if the goffer is nosocomial and/or the rhinencephalon the goffer is not a Turdidae hold. sent12: the fact that the Virgo is not a rhinencephalon and is not nosocomial is not right if it pitches Catostomus. sent13: the Virgo is unproductive. sent14: the roller-skater is a Turdidae if the Virgo is nosocomial. sent15: the Virgo is not vitiliginous if it is not a petty. sent16: that something is federal and not unproductive is false if it is not a kind of a Turdidae. sent17: the fact that the Virgo is a paraquat and it is gentile is false. ; $proof$ = 
void -> assump1: Let's assume that the Virgo is not a petty.; sent3 & assump1 -> int1: the Virgo is not vitiliginous but a curmudgeon.; __UNKNOWN__