the fact that if the cyprinid does not occur then both the installation and the paganizing cankerworm happens is not true.
sent1: the theorizing occurs but the centerfield does not occur if the cyprinidness happens. sent2: the videotaping and the monolingualness occurs. sent3: if the heating widow happens then the locomotion happens. sent4: that the centerfield does not occur is correct if the cyprinid does not occur. sent5: the non-cyprinidness yields that the theorizing happens and the centerfield does not occur. sent6: the paganizing supergiant occurs. sent7: that the crunching does not occur is prevented by that the pratfall happens and the spirometry occurs. sent8: that the paganizing cankerworm happens is triggered by that the reshuffle occurs. sent9: the liveliness happens but the roiling does not occur if the heating future occurs. sent10: the lunching B-girl occurs. sent11: that the installation happens and the paganizing cankerworm occurs is triggered by that the cyprinid happens. sent12: if the ravelling happens the dimming happens. sent13: the aggrandizement happens. sent14: the weediness does not occur. sent15: the reshuffle happens and the syndeticness occurs. sent16: the hairiness does not occur. sent17: if the theorizing occurs and the centerfield occurs then the installation happens. sent18: the tirade occurs. sent19: the syndeticness occurs. sent20: the untranslatableness happens. sent21: the champing happens. sent22: the centerfield does not occur. sent23: that the installation occurs is triggered by that the theorizing but not the centerfield occurs.
void -> assump1: Let's assume that the cyprinid does not occur.; sent5 & assump1 -> int1: the theorizing happens but the centerfield does not occur.; int1 & sent23 -> int2: the installation occurs.; sent15 -> int3: the reshuffle happens.; sent8 & int3 -> int4: the paganizing cankerworm happens.; int2 & int4 -> int5: the installation happens and the paganizing cankerworm occurs.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the cyprinid does not occur then both the installation and the paganizing cankerworm happens is not true. ; $context$ = sent1: the theorizing occurs but the centerfield does not occur if the cyprinidness happens. sent2: the videotaping and the monolingualness occurs. sent3: if the heating widow happens then the locomotion happens. sent4: that the centerfield does not occur is correct if the cyprinid does not occur. sent5: the non-cyprinidness yields that the theorizing happens and the centerfield does not occur. sent6: the paganizing supergiant occurs. sent7: that the crunching does not occur is prevented by that the pratfall happens and the spirometry occurs. sent8: that the paganizing cankerworm happens is triggered by that the reshuffle occurs. sent9: the liveliness happens but the roiling does not occur if the heating future occurs. sent10: the lunching B-girl occurs. sent11: that the installation happens and the paganizing cankerworm occurs is triggered by that the cyprinid happens. sent12: if the ravelling happens the dimming happens. sent13: the aggrandizement happens. sent14: the weediness does not occur. sent15: the reshuffle happens and the syndeticness occurs. sent16: the hairiness does not occur. sent17: if the theorizing occurs and the centerfield occurs then the installation happens. sent18: the tirade occurs. sent19: the syndeticness occurs. sent20: the untranslatableness happens. sent21: the champing happens. sent22: the centerfield does not occur. sent23: that the installation occurs is triggered by that the theorizing but not the centerfield occurs. ; $proof$ = 
void -> assump1: Let's assume that the cyprinid does not occur.; sent5 & assump1 -> int1: the theorizing happens but the centerfield does not occur.; int1 & sent23 -> int2: the installation occurs.; sent15 -> int3: the reshuffle happens.; sent8 & int3 -> int4: the paganizing cankerworm happens.; int2 & int4 -> int5: the installation happens and the paganizing cankerworm occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__