the guidance occurs.
sent1: the compensating craps occurs. sent2: the compensating Microscopium happens. sent3: that the Jesuiticalness does not occur is triggered by that not the dichotomization but the Bosnianness happens. sent4: the dichotomization does not occur but the magnification occurs if the forecasting Coue does not occur. sent5: the fact that the hummer and the compensating argentinosaur happens is false. sent6: not the quadraticsness but the rift happens if the whispering occurs. sent7: the fact that the comatoseness does not occur and the counselorship does not occur is not incorrect. sent8: not the forecasting Coue but the mounting happens. sent9: that the comatoseness does not occur leads to that the jingoism occurs and the Bosnianness occurs. sent10: the forecasting ironworker does not occur if the compensating argentinosaur happens. sent11: that the hummer and the compensating argentinosaur occurs is wrong if the guidance occurs. sent12: the whispering happens if the forcipateness happens. sent13: the forcipateness occurs and/or the pontificating does not occur if the Jesuiticalness does not occur. sent14: that the rift does not occur triggers that both the forecasting ironworker and the sledding occurs. sent15: the fact that the hummer but not the compensating argentinosaur occurs is incorrect if the guidance happens. sent16: that the forecasting ironworker happens and the sledding does not occur is incorrect if the rift occurs. sent17: that the rift does not occur is not incorrect. sent18: the forecasting ironworker does not occur if that the fact that the hummer occurs and the compensating argentinosaur does not occur is incorrect hold.
void -> assump1: Let's assume that the guidance occurs.; sent15 & assump1 -> int1: that the hummer but not the compensating argentinosaur occurs is not right.; int1 & sent18 -> int2: the forecasting ironworker does not occur.; sent14 & sent17 -> int3: the forecasting ironworker and the sledding happens.; int3 -> int4: the forecasting ironworker happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the guidance happens.
sent8 -> int6: the forecasting Coue does not occur.; sent4 & int6 -> int7: the dichotomization does not occur but the magnification happens.; int7 -> int8: the dichotomization does not occur.; sent7 -> int9: the fact that the comatoseness does not occur is true.; sent9 & int9 -> int10: the jingoism occurs and the Bosnianness happens.; int10 -> int11: the Bosnianness happens.; int8 & int11 -> int12: not the dichotomization but the Bosnianness happens.; sent3 & int12 -> int13: the Jesuiticalness does not occur.; sent13 & int13 -> int14: the forcipateness occurs or the pontificating does not occur or both.;
$hypothesis$ = the guidance occurs. ; $context$ = sent1: the compensating craps occurs. sent2: the compensating Microscopium happens. sent3: that the Jesuiticalness does not occur is triggered by that not the dichotomization but the Bosnianness happens. sent4: the dichotomization does not occur but the magnification occurs if the forecasting Coue does not occur. sent5: the fact that the hummer and the compensating argentinosaur happens is false. sent6: not the quadraticsness but the rift happens if the whispering occurs. sent7: the fact that the comatoseness does not occur and the counselorship does not occur is not incorrect. sent8: not the forecasting Coue but the mounting happens. sent9: that the comatoseness does not occur leads to that the jingoism occurs and the Bosnianness occurs. sent10: the forecasting ironworker does not occur if the compensating argentinosaur happens. sent11: that the hummer and the compensating argentinosaur occurs is wrong if the guidance occurs. sent12: the whispering happens if the forcipateness happens. sent13: the forcipateness occurs and/or the pontificating does not occur if the Jesuiticalness does not occur. sent14: that the rift does not occur triggers that both the forecasting ironworker and the sledding occurs. sent15: the fact that the hummer but not the compensating argentinosaur occurs is incorrect if the guidance happens. sent16: that the forecasting ironworker happens and the sledding does not occur is incorrect if the rift occurs. sent17: that the rift does not occur is not incorrect. sent18: the forecasting ironworker does not occur if that the fact that the hummer occurs and the compensating argentinosaur does not occur is incorrect hold. ; $proof$ = 
void -> assump1: Let's assume that the guidance occurs.; sent15 & assump1 -> int1: that the hummer but not the compensating argentinosaur occurs is not right.; int1 & sent18 -> int2: the forecasting ironworker does not occur.; sent14 & sent17 -> int3: the forecasting ironworker and the sledding happens.; int3 -> int4: the forecasting ironworker happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__