the jumping billfish happens.
sent1: the GHRF occurs and the gentrification happens. sent2: the gentrification occurs. sent3: the fact that the providing dalasi occurs is not false. sent4: if that that the quantification happens and the tubercularness occurs is not right hold then the quantification does not occur. sent5: not the gentrification but the jumping billfish happens if the quantification does not occur. sent6: the checkup occurs. sent7: both the carinalness and the GHRF occurs if the fact that the gentrification does not occur is not false. sent8: the fact that the resting happens is not false. sent9: the portrayal occurs if the residence occurs. sent10: the promissoriness occurs. sent11: the jumping billfish happens if the GHRF occurs. sent12: the chiasmalness occurs and the fissileness happens. sent13: the Tantricness occurs. sent14: if the providing agon happens then the tall happens.
sent1 -> int1: the GHRF occurs.; sent11 & int1 -> hypothesis;
the fact that the carinalness occurs is not incorrect.
$hypothesis$ = the jumping billfish happens. ; $context$ = sent1: the GHRF occurs and the gentrification happens. sent2: the gentrification occurs. sent3: the fact that the providing dalasi occurs is not false. sent4: if that that the quantification happens and the tubercularness occurs is not right hold then the quantification does not occur. sent5: not the gentrification but the jumping billfish happens if the quantification does not occur. sent6: the checkup occurs. sent7: both the carinalness and the GHRF occurs if the fact that the gentrification does not occur is not false. sent8: the fact that the resting happens is not false. sent9: the portrayal occurs if the residence occurs. sent10: the promissoriness occurs. sent11: the jumping billfish happens if the GHRF occurs. sent12: the chiasmalness occurs and the fissileness happens. sent13: the Tantricness occurs. sent14: if the providing agon happens then the tall happens. ; $proof$ = 
sent1 -> int1: the GHRF occurs.; sent11 & int1 -> hypothesis; __PROVED__