the bellows does not occur.
sent1: the calligraphicness occurs and the riding occurs. sent2: the rotating Reagan occurs. sent3: the staphylococcalness is prevented by that the authentication and the gearing Northrop happens. sent4: the calligraphicness happens. sent5: if the gearing one-liner does not occur then the fact that the partying and the stellarness happens is not correct. sent6: if the fact that both the partying and the stellarness happens is not true then the biblioticsness does not occur. sent7: the perfecting occurs if the rotating Reagan occurs. sent8: the calligraphicness and the afforestation occurs if the biblioticsness does not occur. sent9: that both the perfectness and the riding happens prevents that the bellows happens.
sent7 & sent2 -> int1: the perfecting happens.; sent1 -> int2: the riding occurs.; int1 & int2 -> int3: the perfectness happens and the riding occurs.; int3 & sent9 -> hypothesis;
the bellows happens.
$hypothesis$ = the bellows does not occur. ; $context$ = sent1: the calligraphicness occurs and the riding occurs. sent2: the rotating Reagan occurs. sent3: the staphylococcalness is prevented by that the authentication and the gearing Northrop happens. sent4: the calligraphicness happens. sent5: if the gearing one-liner does not occur then the fact that the partying and the stellarness happens is not correct. sent6: if the fact that both the partying and the stellarness happens is not true then the biblioticsness does not occur. sent7: the perfecting occurs if the rotating Reagan occurs. sent8: the calligraphicness and the afforestation occurs if the biblioticsness does not occur. sent9: that both the perfectness and the riding happens prevents that the bellows happens. ; $proof$ = 
sent7 & sent2 -> int1: the perfecting happens.; sent1 -> int2: the riding occurs.; int1 & int2 -> int3: the perfectness happens and the riding occurs.; int3 & sent9 -> hypothesis; __PROVED__