the aerologicalness occurs.
sent1: that either the angiospermousness does not occur or the hurrah happens or both is caused by that the overcast does not occur. sent2: if the folding bedroll but not the folding thermocouple occurs the alpha does not occur. sent3: that the angiospermousness happens is prevented by the angiospermousnessness and/or that the hurrahing happens. sent4: the submersibleness happens if the slag occurs. sent5: if the fact that the sinker does not occur and the internship does not occur is not correct the aerologicalness happens. sent6: the fact that the automation does not occur is not wrong. sent7: the platyrrhineness happens and the folding bedroll happens. sent8: the platinizing liter happens and the vaulting occurs if the folding craft does not occur. sent9: both the elapsing and the platyrrhineness happens if the Epiphany does not occur. sent10: the shrinkage happens and the novation happens. sent11: both the alpha and the folding thermocouple happens. sent12: that the Epiphany and/or the folding bedroll happens is brought about by the non-angiospermousness. sent13: the aerologicalness does not occur if the alpha does not occur. sent14: that the sinker does not occur but the internship happens does not hold. sent15: either the astigmaticness or that the platyrrhineness does not occur or both is brought about by that the alpha does not occur. sent16: that the sinker does not occur and the internship does not occur causes that the slag happens. sent17: if the submersibleness does not occur the fact that the slagging does not occur and the apetalousness does not occur does not hold. sent18: the folding craft does not occur. sent19: if the fact that the Corsicanness does not occur and the GHRF does not occur is not true the overcast does not occur. sent20: the astigmaticness does not occur if the platyrrhineness and the alpha happens. sent21: the apetalousness occurs if the fact that the slag does not occur and the apetalousness does not occur is not right. sent22: if the fact that both the Corsicanness and the GHRF occurs is not correct then the overcasting does not occur. sent23: if the platinizing liter occurs then that the Corsicanness does not occur and the GHRF does not occur does not hold. sent24: the slag happens if the sinker but not the internship happens. sent25: that both the Corsicanness and the GHRF occurs is incorrect.
void -> assump1: Let's assume that the sinker does not occur and the internship does not occur.; sent16 & assump1 -> int1: the fact that the slag happens is not incorrect.; int1 & sent4 -> int2: the submersibleness happens.; sent7 -> int3: that the platyrrhineness occurs is right.; sent11 -> int4: the alpha happens.; int3 & int4 -> int5: the platyrrhineness happens and the alpha occurs.; sent20 & int5 -> int6: the astigmaticness does not occur.;
the fact that the aerologicalness occurs is not right.
sent8 & sent18 -> int7: the platinizing liter happens and the vaulting happens.; int7 -> int8: the fact that the platinizing liter occurs is not incorrect.; sent23 & int8 -> int9: the fact that the Corsicanness does not occur and the GHRF does not occur is not correct.; sent19 & int9 -> int10: the overcast does not occur.; sent1 & int10 -> int11: the angiospermousness does not occur or the hurrah happens or both.; sent3 & int11 -> int12: the angiospermousness does not occur.; sent12 & int12 -> int13: the Epiphany and/or the folding bedroll happens.;
$hypothesis$ = the aerologicalness occurs. ; $context$ = sent1: that either the angiospermousness does not occur or the hurrah happens or both is caused by that the overcast does not occur. sent2: if the folding bedroll but not the folding thermocouple occurs the alpha does not occur. sent3: that the angiospermousness happens is prevented by the angiospermousnessness and/or that the hurrahing happens. sent4: the submersibleness happens if the slag occurs. sent5: if the fact that the sinker does not occur and the internship does not occur is not correct the aerologicalness happens. sent6: the fact that the automation does not occur is not wrong. sent7: the platyrrhineness happens and the folding bedroll happens. sent8: the platinizing liter happens and the vaulting occurs if the folding craft does not occur. sent9: both the elapsing and the platyrrhineness happens if the Epiphany does not occur. sent10: the shrinkage happens and the novation happens. sent11: both the alpha and the folding thermocouple happens. sent12: that the Epiphany and/or the folding bedroll happens is brought about by the non-angiospermousness. sent13: the aerologicalness does not occur if the alpha does not occur. sent14: that the sinker does not occur but the internship happens does not hold. sent15: either the astigmaticness or that the platyrrhineness does not occur or both is brought about by that the alpha does not occur. sent16: that the sinker does not occur and the internship does not occur causes that the slag happens. sent17: if the submersibleness does not occur the fact that the slagging does not occur and the apetalousness does not occur does not hold. sent18: the folding craft does not occur. sent19: if the fact that the Corsicanness does not occur and the GHRF does not occur is not true the overcast does not occur. sent20: the astigmaticness does not occur if the platyrrhineness and the alpha happens. sent21: the apetalousness occurs if the fact that the slag does not occur and the apetalousness does not occur is not right. sent22: if the fact that both the Corsicanness and the GHRF occurs is not correct then the overcasting does not occur. sent23: if the platinizing liter occurs then that the Corsicanness does not occur and the GHRF does not occur does not hold. sent24: the slag happens if the sinker but not the internship happens. sent25: that both the Corsicanness and the GHRF occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the sinker does not occur and the internship does not occur.; sent16 & assump1 -> int1: the fact that the slag happens is not incorrect.; int1 & sent4 -> int2: the submersibleness happens.; sent7 -> int3: that the platyrrhineness occurs is right.; sent11 -> int4: the alpha happens.; int3 & int4 -> int5: the platyrrhineness happens and the alpha occurs.; sent20 & int5 -> int6: the astigmaticness does not occur.; __UNKNOWN__