the optometry does not occur.
sent1: the squawking does not occur and the insensibleness does not occur if the ribbing happens. sent2: either that the entreaty does not occur or that the intertwining does not occur or both is brought about by that the arthroplasty does not occur. sent3: that the quadrupedalness does not occur leads to that both the installment and the fluff happens. sent4: if the dispatching does not occur then that the flying does not occur and/or the thelarche happens is wrong. sent5: that the Frostianness does not occur causes that the greeting decadent occurs and the irreplaceableness occurs. sent6: that the installment happens leads to that the arthroplasty does not occur. sent7: if the fact that either the flies does not occur or the thelarche occurs or both is false then the quadrupedalness does not occur. sent8: the irreplaceableness happens. sent9: the Frostianness happens. sent10: that the squawk does not occur prevents the Frostianness. sent11: the dispatching does not occur if that the dispatching happens and the attritionalness occurs does not hold. sent12: the dousing happens. sent13: if both the irreplaceableness and the Frostianness happens then the optometry does not occur. sent14: the refreshing shellfish does not occur and the dumping oxtail does not occur. sent15: if the refreshing shellfish does not occur then the fact that the dispatching and the attritionalness happens does not hold.
sent8 & sent9 -> int1: both the irreplaceableness and the Frostianness occurs.; int1 & sent13 -> hypothesis;
the optometry occurs.
sent14 -> int2: the refreshing shellfish does not occur.; sent15 & int2 -> int3: the fact that the dispatch and the attritionalness occurs is not right.; sent11 & int3 -> int4: the fact that the dispatching does not occur is true.; sent4 & int4 -> int5: that either the flying does not occur or the thelarche happens or both is wrong.; sent7 & int5 -> int6: the quadrupedalness does not occur.; sent3 & int6 -> int7: the installment occurs and the fluff happens.; int7 -> int8: the installment occurs.; sent6 & int8 -> int9: the arthroplasty does not occur.; sent2 & int9 -> int10: the entreaty does not occur or the intertwining does not occur or both.;
$hypothesis$ = the optometry does not occur. ; $context$ = sent1: the squawking does not occur and the insensibleness does not occur if the ribbing happens. sent2: either that the entreaty does not occur or that the intertwining does not occur or both is brought about by that the arthroplasty does not occur. sent3: that the quadrupedalness does not occur leads to that both the installment and the fluff happens. sent4: if the dispatching does not occur then that the flying does not occur and/or the thelarche happens is wrong. sent5: that the Frostianness does not occur causes that the greeting decadent occurs and the irreplaceableness occurs. sent6: that the installment happens leads to that the arthroplasty does not occur. sent7: if the fact that either the flies does not occur or the thelarche occurs or both is false then the quadrupedalness does not occur. sent8: the irreplaceableness happens. sent9: the Frostianness happens. sent10: that the squawk does not occur prevents the Frostianness. sent11: the dispatching does not occur if that the dispatching happens and the attritionalness occurs does not hold. sent12: the dousing happens. sent13: if both the irreplaceableness and the Frostianness happens then the optometry does not occur. sent14: the refreshing shellfish does not occur and the dumping oxtail does not occur. sent15: if the refreshing shellfish does not occur then the fact that the dispatching and the attritionalness happens does not hold. ; $proof$ = 
sent8 & sent9 -> int1: both the irreplaceableness and the Frostianness occurs.; int1 & sent13 -> hypothesis; __PROVED__