the tiling happens.
sent1: the insensitiveness occurs if the celibacy occurs and the override does not occur. sent2: the celibacy occurs. sent3: the celibacy but not the override occurs. sent4: the amygdalineness but not the moon-worship occurs if the apostleship does not occur. sent5: if the apostleship does not occur then the tiling does not occur. sent6: if the fact that that that the apostleship happens and the insensitiveness occurs is correct does not hold hold then the apostleship does not occur. sent7: if the apostleship happens the tiling occurs. sent8: the malarialness happens if the cubicness happens. sent9: if the unconstitutionalness happens then the negativeness occurs. sent10: the empiricness happens. sent11: if the insensitiveness happens then the apostleship occurs.
sent1 & sent3 -> int1: the insensitiveness occurs.; sent11 & int1 -> int2: the apostleship occurs.; sent7 & int2 -> hypothesis;
the tiling does not occur.
$hypothesis$ = the tiling happens. ; $context$ = sent1: the insensitiveness occurs if the celibacy occurs and the override does not occur. sent2: the celibacy occurs. sent3: the celibacy but not the override occurs. sent4: the amygdalineness but not the moon-worship occurs if the apostleship does not occur. sent5: if the apostleship does not occur then the tiling does not occur. sent6: if the fact that that that the apostleship happens and the insensitiveness occurs is correct does not hold hold then the apostleship does not occur. sent7: if the apostleship happens the tiling occurs. sent8: the malarialness happens if the cubicness happens. sent9: if the unconstitutionalness happens then the negativeness occurs. sent10: the empiricness happens. sent11: if the insensitiveness happens then the apostleship occurs. ; $proof$ = 
sent1 & sent3 -> int1: the insensitiveness occurs.; sent11 & int1 -> int2: the apostleship occurs.; sent7 & int2 -> hypothesis; __PROVED__