both the Lusitanianness and the processing share happens.
sent1: that the RAIU does not occur is not false. sent2: the arrogating carnelian occurs. sent3: the processing share happens and the Swedish occurs if the Lusitanianness does not occur. sent4: both the processing entreaty and the guaranteeing acolyte happens. sent5: the latestness does not occur. sent6: if not the processing entreaty but the guaranteeing reformatory happens the negligence does not occur. sent7: the clearedness yields that the negligence occurs. sent8: the warmness does not occur. sent9: the guaranteeing reformatory prevents that the processing entreaty happens. sent10: the sponge does not occur. sent11: the marine triggers that the fresco occurs. sent12: if the Swedish occurs then the processing share happens. sent13: the dissenting haggle occurs. sent14: the housing occurs. sent15: if the sponging does not occur then the Lusitanianness happens. sent16: if the arrogating orbit happens the outflow does not occur. sent17: the fact that the sponge but not the guaranteeing acolyte happens is not true. sent18: that the processing entreaty does not occur is caused by either that the guaranteeing reformatory happens or that the negligence happens or both. sent19: the guaranteeing Monochamus does not occur. sent20: the Swedishness occurs if the cryptography happens. sent21: the guaranteeing acolyte occurs.
void -> assump1: Let's assume that the unclearedness does not occur.; sent7 & assump1 -> int1: the negligence happens.; int1 -> int2: the guaranteeing reformatory or the negligence or both occurs.; int2 & sent18 -> int3: the processing entreaty does not occur.; sent4 -> int4: the processing entreaty occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the unclearedness happens is correct.; sent15 & sent10 -> int7: the Lusitanianness happens.;
that both the Lusitanianness and the processing share occurs does not hold.
 -> hypothesis;
$hypothesis$ = both the Lusitanianness and the processing share happens. ; $context$ = sent1: that the RAIU does not occur is not false. sent2: the arrogating carnelian occurs. sent3: the processing share happens and the Swedish occurs if the Lusitanianness does not occur. sent4: both the processing entreaty and the guaranteeing acolyte happens. sent5: the latestness does not occur. sent6: if not the processing entreaty but the guaranteeing reformatory happens the negligence does not occur. sent7: the clearedness yields that the negligence occurs. sent8: the warmness does not occur. sent9: the guaranteeing reformatory prevents that the processing entreaty happens. sent10: the sponge does not occur. sent11: the marine triggers that the fresco occurs. sent12: if the Swedish occurs then the processing share happens. sent13: the dissenting haggle occurs. sent14: the housing occurs. sent15: if the sponging does not occur then the Lusitanianness happens. sent16: if the arrogating orbit happens the outflow does not occur. sent17: the fact that the sponge but not the guaranteeing acolyte happens is not true. sent18: that the processing entreaty does not occur is caused by either that the guaranteeing reformatory happens or that the negligence happens or both. sent19: the guaranteeing Monochamus does not occur. sent20: the Swedishness occurs if the cryptography happens. sent21: the guaranteeing acolyte occurs. ; $proof$ = 
void -> assump1: Let's assume that the unclearedness does not occur.; sent7 & assump1 -> int1: the negligence happens.; int1 -> int2: the guaranteeing reformatory or the negligence or both occurs.; int2 & sent18 -> int3: the processing entreaty does not occur.; sent4 -> int4: the processing entreaty occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the unclearedness happens is correct.; sent15 & sent10 -> int7: the Lusitanianness happens.; __UNKNOWN__