the syndicating does not occur.
sent1: the firebombing stoop occurs. sent2: if the fact that not the boning selva but the pneumonectomy occurs is not right then the syndicate does not occur. sent3: the fact that the fact that the boning selva and the pneumonectomy happens is not true is not incorrect if the firebombing stoop happens. sent4: that not the formula but the NMR happens is false if the walking honorableness occurs. sent5: if the synclinalness does not occur then that the firebombing stoop does not occur but the oppositeness happens is not correct. sent6: if that the boning pyrite does not occur but the shellfire occurs does not hold the win does not occur. sent7: the fact that not the boning selva but the pneumonectomy occurs is false if the firebombing stoop happens. sent8: the boning selva brings about that the syndicating does not occur. sent9: the fact that the non-Belgianness and the pargeting occurs is not right if the absence occurs. sent10: that the boning selva happens and the pneumonectomy happens does not hold. sent11: the walking sect does not occur. sent12: if the ulnarness happens both the non-synclinalness and the winning happens. sent13: the firebombing nonmember does not occur. sent14: that the whistling monad does not occur but the resistance happens is not true.
sent7 & sent1 -> int1: that not the boning selva but the pneumonectomy occurs is not true.; sent2 & int1 -> hypothesis;
the syndicate occurs.
$hypothesis$ = the syndicating does not occur. ; $context$ = sent1: the firebombing stoop occurs. sent2: if the fact that not the boning selva but the pneumonectomy occurs is not right then the syndicate does not occur. sent3: the fact that the fact that the boning selva and the pneumonectomy happens is not true is not incorrect if the firebombing stoop happens. sent4: that not the formula but the NMR happens is false if the walking honorableness occurs. sent5: if the synclinalness does not occur then that the firebombing stoop does not occur but the oppositeness happens is not correct. sent6: if that the boning pyrite does not occur but the shellfire occurs does not hold the win does not occur. sent7: the fact that not the boning selva but the pneumonectomy occurs is false if the firebombing stoop happens. sent8: the boning selva brings about that the syndicating does not occur. sent9: the fact that the non-Belgianness and the pargeting occurs is not right if the absence occurs. sent10: that the boning selva happens and the pneumonectomy happens does not hold. sent11: the walking sect does not occur. sent12: if the ulnarness happens both the non-synclinalness and the winning happens. sent13: the firebombing nonmember does not occur. sent14: that the whistling monad does not occur but the resistance happens is not true. ; $proof$ = 
sent7 & sent1 -> int1: that not the boning selva but the pneumonectomy occurs is not true.; sent2 & int1 -> hypothesis; __PROVED__