the accusatorialness does not occur.
sent1: the refacing Erithacus happens. sent2: that the fracturing Phoxinus happens is true. sent3: the haemophilicness happens. sent4: that the correlationalness happens is true. sent5: if the parking does not occur then the accusatorialness and the fracturing briquette happens. sent6: the correlationalness yields that the specifying Jeffersonian happens. sent7: the reexamination happens. sent8: that the refacing oscillator occurs triggers the fracturing throat. sent9: the celebratoriness occurs. sent10: the parking happens. sent11: both the pneumogastricness and the irreducibleness occurs. sent12: that the refacing alpha-interferon and the entomophilousness occurs is right. sent13: if the specifying Jeffersonian and the fracturing briquette happens the accusatorialness does not occur. sent14: both the etymologizing and the entomophilousness occurs. sent15: that both the cytogeneticsness and the servicing lightship occurs prevents the snoozing. sent16: both the fracturing briquette and the parking occurs. sent17: that the specifying Oaxaca happens is not incorrect if that the jingoism happens is not wrong. sent18: the emigration occurs. sent19: the Japanese happens and the filming happens. sent20: the correlationalness does not occur if the Japanese and the refacing matchlock happens. sent21: the Cyrillicness does not occur if both the refacing fluid and the panic occurs.
sent16 -> int1: the fracturing briquette happens.; sent6 & sent4 -> int2: the specifying Jeffersonian occurs.; int1 & int2 -> int3: the specifying Jeffersonian occurs and the fracturing briquette occurs.; int3 & sent13 -> hypothesis;
the accusatorialness occurs.
sent19 -> int4: the Japaneseness occurs.;
$hypothesis$ = the accusatorialness does not occur. ; $context$ = sent1: the refacing Erithacus happens. sent2: that the fracturing Phoxinus happens is true. sent3: the haemophilicness happens. sent4: that the correlationalness happens is true. sent5: if the parking does not occur then the accusatorialness and the fracturing briquette happens. sent6: the correlationalness yields that the specifying Jeffersonian happens. sent7: the reexamination happens. sent8: that the refacing oscillator occurs triggers the fracturing throat. sent9: the celebratoriness occurs. sent10: the parking happens. sent11: both the pneumogastricness and the irreducibleness occurs. sent12: that the refacing alpha-interferon and the entomophilousness occurs is right. sent13: if the specifying Jeffersonian and the fracturing briquette happens the accusatorialness does not occur. sent14: both the etymologizing and the entomophilousness occurs. sent15: that both the cytogeneticsness and the servicing lightship occurs prevents the snoozing. sent16: both the fracturing briquette and the parking occurs. sent17: that the specifying Oaxaca happens is not incorrect if that the jingoism happens is not wrong. sent18: the emigration occurs. sent19: the Japanese happens and the filming happens. sent20: the correlationalness does not occur if the Japanese and the refacing matchlock happens. sent21: the Cyrillicness does not occur if both the refacing fluid and the panic occurs. ; $proof$ = 
sent16 -> int1: the fracturing briquette happens.; sent6 & sent4 -> int2: the specifying Jeffersonian occurs.; int1 & int2 -> int3: the specifying Jeffersonian occurs and the fracturing briquette occurs.; int3 & sent13 -> hypothesis; __PROVED__