the fact that the shape-up happens is not false.
sent1: if the organizing sphenoid does not occur and the rattiness does not occur then the fact that the spermicidalness does not occur hold. sent2: if the organizing light-year does not occur and the freckling hegari does not occur the fingerlessness occurs. sent3: the spermicidalness is brought about by that the Sufi but not the grapevine happens. sent4: the hypertrophy happens. sent5: if the spermicidalness occurs then the nickeling Indiaman happens. sent6: the freckling Gulliver occurs. sent7: the oatenness does not occur if the fact that that the unpaintableness does not occur and the oatenness occurs is wrong is true. sent8: the grapevine does not occur. sent9: if the oatenness does not occur the fact that the sigmoidness does not occur and the crowning does not occur does not hold. sent10: the Lincolnesqueness occurs if the crown occurs. sent11: the organizing sphenoid does not occur if the nickeling Indiaman and the rattiness happens. sent12: that not the unpaintableness but the oatenness occurs is wrong. sent13: the unpaintableness does not occur if the fact that the freckling Gulliver and the non-Rwandanness occurs is false. sent14: if the unexpansiveness occurs then that the freckling Gulliver happens and the Rwandanness does not occur is false. sent15: that the shape-up happens is caused by that the non-rattyness and the non-Lincolnesqueness happens. sent16: the Lincolnesqueness does not occur if that the sigmoidness does not occur and the crown does not occur is false. sent17: the organizing heavyweight happens. sent18: the nearness happens but the mismanaging broadloom does not occur. sent19: the organizing sphenoid happens. sent20: that the allogamy occurs hold. sent21: the Sufi but not the grapevine occurs. sent22: if the mismanaging Delorme occurs then the closingness occurs. sent23: the mismanaging cascabel does not occur. sent24: the Russianness but not the crustoseness happens.
sent3 & sent21 -> int1: the spermicidalness occurs.; int1 & sent5 -> int2: the nickeling Indiaman occurs.; void -> assump1: Let's assume that the rattiness occurs.; int2 & assump1 -> int3: the nickeling Indiaman and the rattiness occurs.; int3 & sent11 -> int4: the organizing sphenoid does not occur.; int4 & sent19 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rattiness does not occur.; sent7 & sent12 -> int7: the fact that the oatenness does not occur hold.; sent9 & int7 -> int8: that the sigmoidness does not occur and the crown does not occur is not correct.; sent16 & int8 -> int9: the Lincolnesqueness does not occur.; int6 & int9 -> int10: the non-rattyness and the non-Lincolnesqueness occurs.; int10 & sent15 -> hypothesis;
the shape-up does not occur.
$hypothesis$ = the fact that the shape-up happens is not false. ; $context$ = sent1: if the organizing sphenoid does not occur and the rattiness does not occur then the fact that the spermicidalness does not occur hold. sent2: if the organizing light-year does not occur and the freckling hegari does not occur the fingerlessness occurs. sent3: the spermicidalness is brought about by that the Sufi but not the grapevine happens. sent4: the hypertrophy happens. sent5: if the spermicidalness occurs then the nickeling Indiaman happens. sent6: the freckling Gulliver occurs. sent7: the oatenness does not occur if the fact that that the unpaintableness does not occur and the oatenness occurs is wrong is true. sent8: the grapevine does not occur. sent9: if the oatenness does not occur the fact that the sigmoidness does not occur and the crowning does not occur does not hold. sent10: the Lincolnesqueness occurs if the crown occurs. sent11: the organizing sphenoid does not occur if the nickeling Indiaman and the rattiness happens. sent12: that not the unpaintableness but the oatenness occurs is wrong. sent13: the unpaintableness does not occur if the fact that the freckling Gulliver and the non-Rwandanness occurs is false. sent14: if the unexpansiveness occurs then that the freckling Gulliver happens and the Rwandanness does not occur is false. sent15: that the shape-up happens is caused by that the non-rattyness and the non-Lincolnesqueness happens. sent16: the Lincolnesqueness does not occur if that the sigmoidness does not occur and the crown does not occur is false. sent17: the organizing heavyweight happens. sent18: the nearness happens but the mismanaging broadloom does not occur. sent19: the organizing sphenoid happens. sent20: that the allogamy occurs hold. sent21: the Sufi but not the grapevine occurs. sent22: if the mismanaging Delorme occurs then the closingness occurs. sent23: the mismanaging cascabel does not occur. sent24: the Russianness but not the crustoseness happens. ; $proof$ = 
sent3 & sent21 -> int1: the spermicidalness occurs.; int1 & sent5 -> int2: the nickeling Indiaman occurs.; void -> assump1: Let's assume that the rattiness occurs.; int2 & assump1 -> int3: the nickeling Indiaman and the rattiness occurs.; int3 & sent11 -> int4: the organizing sphenoid does not occur.; int4 & sent19 -> int5: this is contradiction.; [assump1] & int5 -> int6: the rattiness does not occur.; sent7 & sent12 -> int7: the fact that the oatenness does not occur hold.; sent9 & int7 -> int8: that the sigmoidness does not occur and the crown does not occur is not correct.; sent16 & int8 -> int9: the Lincolnesqueness does not occur.; int6 & int9 -> int10: the non-rattyness and the non-Lincolnesqueness occurs.; int10 & sent15 -> hypothesis; __PROVED__