if the arthralgicness does not occur both the butt-welding and the emergency happens.
sent1: the emergency does not occur if the fact that the emergency occurs and the cheep does not occur is not true. sent2: the steepening happens. sent3: the Mosaicness happens and the divisibleness happens if the biquadratic occurs. sent4: the mobilization does not occur. sent5: the fantan happens. sent6: the working lanseh does not occur if the fact that both the pleaching aminomethane and the working lanseh occurs does not hold. sent7: both the barracking pyrilamine and the British occurs if that the steepening does not occur is true. sent8: if that the working lanseh does not occur hold then the cheep occurs and the butt-welding happens. sent9: the valentness happens. sent10: if both the barracking pyrilamine and the non-arthralgicness happens then the emergency occurs. sent11: the barracking pyrilamine occurs and the steepening occurs. sent12: the internalness does not occur if that the emergency does not occur is not incorrect. sent13: if the dirtiness does not occur then the lesserness happens and the mastery occurs.
sent11 -> int1: that the barracking pyrilamine occurs is correct.; void -> assump1: Let's assume that the arthralgicness does not occur.; int1 & assump1 -> int2: both the barracking pyrilamine and the non-arthralgicness occurs.; int2 & sent10 -> int3: the emergency occurs.;
the Britishness and the non-internalness happens.
$hypothesis$ = if the arthralgicness does not occur both the butt-welding and the emergency happens. ; $context$ = sent1: the emergency does not occur if the fact that the emergency occurs and the cheep does not occur is not true. sent2: the steepening happens. sent3: the Mosaicness happens and the divisibleness happens if the biquadratic occurs. sent4: the mobilization does not occur. sent5: the fantan happens. sent6: the working lanseh does not occur if the fact that both the pleaching aminomethane and the working lanseh occurs does not hold. sent7: both the barracking pyrilamine and the British occurs if that the steepening does not occur is true. sent8: if that the working lanseh does not occur hold then the cheep occurs and the butt-welding happens. sent9: the valentness happens. sent10: if both the barracking pyrilamine and the non-arthralgicness happens then the emergency occurs. sent11: the barracking pyrilamine occurs and the steepening occurs. sent12: the internalness does not occur if that the emergency does not occur is not incorrect. sent13: if the dirtiness does not occur then the lesserness happens and the mastery occurs. ; $proof$ = 
sent11 -> int1: that the barracking pyrilamine occurs is correct.; void -> assump1: Let's assume that the arthralgicness does not occur.; int1 & assump1 -> int2: both the barracking pyrilamine and the non-arthralgicness occurs.; int2 & sent10 -> int3: the emergency occurs.; __UNKNOWN__