the MANPAD is auspicious.
sent1: if the CD-ROM is not a agnosticism then the housefather overturns ventricle. sent2: if the housefather overturns ventricle the sweep consolidates. sent3: the lepidopterist does not inflate offerer if the sweep is not a fundamentalist and does consolidate. sent4: there exists something such that either it is fundamentalist or it is paleolithic or both. sent5: the CD-ROM is not subtractive and not propitious. sent6: either the messuage is not a fundamentalist or it is paleolithic or both. sent7: the MANPAD is auspicious if the offerer does inflate offerer. sent8: if the CD-ROM is not subtractive and it is not propitious it is not a agnosticism. sent9: the messuage is a fundamentalist and/or it is paleolithic. sent10: if the lepidopterist does not inflate offerer then the offerer is a kind of a bookworm and inflate offerer. sent11: if there is something such that it is not a kind of a fundamentalist or it is paleolithic or both then the sweep is not a kind of a fundamentalist.
sent8 & sent5 -> int1: the CD-ROM is not a agnosticism.; int1 & sent1 -> int2: the housefather does overturn ventricle.; int2 & sent2 -> int3: the sweep does consolidate.; sent6 -> int4: something is non-fundamentalist and/or it is paleolithic.; int4 & sent11 -> int5: the sweep is not a kind of a fundamentalist.; int3 & int5 -> int6: the sweep is a kind of non-fundamentalist thing that does consolidate.; int6 & sent3 -> int7: the lepidopterist does not inflate offerer.; int7 & sent10 -> int8: the offerer is a kind of a bookworm that inflates offerer.; int8 -> int9: the offerer inflates offerer.; int9 & sent7 -> hypothesis;
$hypothesis$ = the MANPAD is auspicious. ; $context$ = sent1: if the CD-ROM is not a agnosticism then the housefather overturns ventricle. sent2: if the housefather overturns ventricle the sweep consolidates. sent3: the lepidopterist does not inflate offerer if the sweep is not a fundamentalist and does consolidate. sent4: there exists something such that either it is fundamentalist or it is paleolithic or both. sent5: the CD-ROM is not subtractive and not propitious. sent6: either the messuage is not a fundamentalist or it is paleolithic or both. sent7: the MANPAD is auspicious if the offerer does inflate offerer. sent8: if the CD-ROM is not subtractive and it is not propitious it is not a agnosticism. sent9: the messuage is a fundamentalist and/or it is paleolithic. sent10: if the lepidopterist does not inflate offerer then the offerer is a kind of a bookworm and inflate offerer. sent11: if there is something such that it is not a kind of a fundamentalist or it is paleolithic or both then the sweep is not a kind of a fundamentalist. ; $proof$ = 
sent8 & sent5 -> int1: the CD-ROM is not a agnosticism.; int1 & sent1 -> int2: the housefather does overturn ventricle.; int2 & sent2 -> int3: the sweep does consolidate.; sent6 -> int4: something is non-fundamentalist and/or it is paleolithic.; int4 & sent11 -> int5: the sweep is not a kind of a fundamentalist.; int3 & int5 -> int6: the sweep is a kind of non-fundamentalist thing that does consolidate.; int6 & sent3 -> int7: the lepidopterist does not inflate offerer.; int7 & sent10 -> int8: the offerer is a kind of a bookworm that inflates offerer.; int8 -> int9: the offerer inflates offerer.; int9 & sent7 -> hypothesis; __PROVED__