that the antisatelliteness and the theophany occurs is wrong.
sent1: the theophany happens if the greensideness does not occur. sent2: if that the measuring Bacon does not occur hold the fact that the greensideness does not occur and the pyelography does not occur does not hold. sent3: if the wheeling does not occur then the cowardliness happens. sent4: the theophany happens. sent5: the measuring Anthyllis does not occur and the interlinearness occurs. sent6: the mucinousness does not occur if that the greensideness does not occur and the pyelography does not occur does not hold. sent7: the Kenyan is triggered by that the depositing lack does not occur and the dubbing lightsomeness occurs. sent8: if the fact that the measuring Anthyllis does not occur is not wrong then that the non-cowardlyness and the antisatelliteness happens is incorrect. sent9: the cowardliness occurs. sent10: the fact that the truss does not occur is not incorrect. sent11: if that not the swashing but the demoralizing occurs is true the cause does not occur. sent12: that the wheeling does not occur causes that the sacramentalness and the cowardliness occurs. sent13: the antisatelliteness occurs and the theophany happens if the greensideness does not occur. sent14: the measuring Bacon occurs if the measuring Anthyllis happens and the interlinearness occurs. sent15: that the measuring Bacon occurs is caused by that not the measuring Anthyllis but the interlinearness occurs. sent16: if the pyelography does not occur but the measuring Bacon happens then the sacramentalness does not occur. sent17: the Set occurs. sent18: not the aftershock but the dubbing shirtlifter happens. sent19: the calcificness happens. sent20: the wheeling does not occur. sent21: if the fact that both the measuring Anthyllis and the wheeling occurs is false then the measuring Anthyllis does not occur. sent22: the greensideness prevents that the pyelography occurs. sent23: the intersection occurs. sent24: the measuring Anthyllis does not occur.
void -> assump1: Let's assume that that the greensideness occurs hold.; sent22 & assump1 -> int1: the pyelography does not occur.; sent15 & sent5 -> int2: the measuring Bacon occurs.; int1 & int2 -> int3: the pyelography does not occur and the measuring Bacon occurs.; int3 & sent16 -> int4: the fact that the sacramentalness does not occur is not wrong.; sent12 & sent20 -> int5: the sacramentalness and the cowardliness happens.; int5 -> int6: the sacramentalness occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the greensideness does not occur.; int8 & sent13 -> hypothesis;
the fact that the antisatelliteness and the theophany occurs is false.
 -> hypothesis;
$hypothesis$ = that the antisatelliteness and the theophany occurs is wrong. ; $context$ = sent1: the theophany happens if the greensideness does not occur. sent2: if that the measuring Bacon does not occur hold the fact that the greensideness does not occur and the pyelography does not occur does not hold. sent3: if the wheeling does not occur then the cowardliness happens. sent4: the theophany happens. sent5: the measuring Anthyllis does not occur and the interlinearness occurs. sent6: the mucinousness does not occur if that the greensideness does not occur and the pyelography does not occur does not hold. sent7: the Kenyan is triggered by that the depositing lack does not occur and the dubbing lightsomeness occurs. sent8: if the fact that the measuring Anthyllis does not occur is not wrong then that the non-cowardlyness and the antisatelliteness happens is incorrect. sent9: the cowardliness occurs. sent10: the fact that the truss does not occur is not incorrect. sent11: if that not the swashing but the demoralizing occurs is true the cause does not occur. sent12: that the wheeling does not occur causes that the sacramentalness and the cowardliness occurs. sent13: the antisatelliteness occurs and the theophany happens if the greensideness does not occur. sent14: the measuring Bacon occurs if the measuring Anthyllis happens and the interlinearness occurs. sent15: that the measuring Bacon occurs is caused by that not the measuring Anthyllis but the interlinearness occurs. sent16: if the pyelography does not occur but the measuring Bacon happens then the sacramentalness does not occur. sent17: the Set occurs. sent18: not the aftershock but the dubbing shirtlifter happens. sent19: the calcificness happens. sent20: the wheeling does not occur. sent21: if the fact that both the measuring Anthyllis and the wheeling occurs is false then the measuring Anthyllis does not occur. sent22: the greensideness prevents that the pyelography occurs. sent23: the intersection occurs. sent24: the measuring Anthyllis does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the greensideness occurs hold.; sent22 & assump1 -> int1: the pyelography does not occur.; sent15 & sent5 -> int2: the measuring Bacon occurs.; int1 & int2 -> int3: the pyelography does not occur and the measuring Bacon occurs.; int3 & sent16 -> int4: the fact that the sacramentalness does not occur is not wrong.; sent12 & sent20 -> int5: the sacramentalness and the cowardliness happens.; int5 -> int6: the sacramentalness occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the greensideness does not occur.; int8 & sent13 -> hypothesis; __DISPROVED__