if the magus is a wheat the work-shirt is not a kind of a potbelly and it is not respectable.
sent1: the magnum is not respectable if the magus is a wheat or it is a kind of a volume or both. sent2: if the magnum is a kind of a volume it is a shear. sent3: the work-shirt does not shear if the fact that the magnum is respectable hold. sent4: the work-shirt is not a kind of a volume and is not respectable. sent5: the magnum is a wheat but it is not a volume if the fact that the magus is not a kind of a volume hold. sent6: the adjunct does not shear. sent7: the work-shirt is not an offering. sent8: the magus is a wheat that is not a potbelly if the fact that the work-shirt is a volume is true. sent9: the Bannister is a volume or it is a kind of a thermoacidophile or both. sent10: if the magnum does shear and/or it does offer the adjunct is not respectable. sent11: if the work-shirt is an offering it is respectable. sent12: the work-shirt is both not a shear and not respectable if the magnum is a potbelly. sent13: the work-shirt is not respectable if the adjunct is not respectable. sent14: the magnum is a volume if the magus is a wheat. sent15: the magnum is a kind of a wheat but it is not a kind of an offering. sent16: the work-shirt is not a potbelly and is not respectable if the adjunct is not respectable. sent17: the work-shirt is a kind of a potbelly if it is piratical. sent18: the blood-twig does not discard Heteroscelus and does not drain kitsch. sent19: that the work-shirt is an offering that is not a volume is not false if the magnum is a kind of a potbelly. sent20: the work-shirt is a potbelly if the fact that it does offer hold. sent21: the work-shirt is not a kind of a shear if that the magnum is a potbelly hold. sent22: the magnum is not respectable if the work-shirt is a kind of a shear. sent23: if the magnum is a wheat then the magus is not a kind of a shear. sent24: the work-shirt is not respectable if the magus is a wheat.
void -> assump1: Let's assume that the fact that the magus is a wheat is not false.; sent14 & assump1 -> int1: that the magnum is a volume is not incorrect.; int1 & sent2 -> int2: the magnum shears.; int2 -> int3: either the magnum shears or it is a kind of an offering or both.; int3 & sent10 -> int4: the adjunct is not respectable.; int4 & sent16 -> int5: the work-shirt is not a potbelly and it is not respectable.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the magus is a wheat the work-shirt is not a kind of a potbelly and it is not respectable. ; $context$ = sent1: the magnum is not respectable if the magus is a wheat or it is a kind of a volume or both. sent2: if the magnum is a kind of a volume it is a shear. sent3: the work-shirt does not shear if the fact that the magnum is respectable hold. sent4: the work-shirt is not a kind of a volume and is not respectable. sent5: the magnum is a wheat but it is not a volume if the fact that the magus is not a kind of a volume hold. sent6: the adjunct does not shear. sent7: the work-shirt is not an offering. sent8: the magus is a wheat that is not a potbelly if the fact that the work-shirt is a volume is true. sent9: the Bannister is a volume or it is a kind of a thermoacidophile or both. sent10: if the magnum does shear and/or it does offer the adjunct is not respectable. sent11: if the work-shirt is an offering it is respectable. sent12: the work-shirt is both not a shear and not respectable if the magnum is a potbelly. sent13: the work-shirt is not respectable if the adjunct is not respectable. sent14: the magnum is a volume if the magus is a wheat. sent15: the magnum is a kind of a wheat but it is not a kind of an offering. sent16: the work-shirt is not a potbelly and is not respectable if the adjunct is not respectable. sent17: the work-shirt is a kind of a potbelly if it is piratical. sent18: the blood-twig does not discard Heteroscelus and does not drain kitsch. sent19: that the work-shirt is an offering that is not a volume is not false if the magnum is a kind of a potbelly. sent20: the work-shirt is a potbelly if the fact that it does offer hold. sent21: the work-shirt is not a kind of a shear if that the magnum is a potbelly hold. sent22: the magnum is not respectable if the work-shirt is a kind of a shear. sent23: if the magnum is a wheat then the magus is not a kind of a shear. sent24: the work-shirt is not respectable if the magus is a wheat. ; $proof$ = 
void -> assump1: Let's assume that the fact that the magus is a wheat is not false.; sent14 & assump1 -> int1: that the magnum is a volume is not incorrect.; int1 & sent2 -> int2: the magnum shears.; int2 -> int3: either the magnum shears or it is a kind of an offering or both.; int3 & sent10 -> int4: the adjunct is not respectable.; int4 & sent16 -> int5: the work-shirt is not a potbelly and it is not respectable.; [assump1] & int5 -> hypothesis; __PROVED__