that the motorcycling and the forecasting rhinestone occurs does not hold.
sent1: the ripping does not occur. sent2: the ripping and the motorcycling happens if the legitimation does not occur. sent3: the diamagneticness does not occur if that the diamagneticness and the triangulating occurs does not hold. sent4: the rip occurs if the wiring occurs. sent5: if the diamagneticness does not occur then both the forecasting rhinestone and the wiring occurs.
void -> assump1: Let's assume that the wiring occurs.; sent4 & assump1 -> int1: the rip happens.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the wiring does not occur.;
both the motorcycling and the forecasting rhinestone happens.
$hypothesis$ = that the motorcycling and the forecasting rhinestone occurs does not hold. ; $context$ = sent1: the ripping does not occur. sent2: the ripping and the motorcycling happens if the legitimation does not occur. sent3: the diamagneticness does not occur if that the diamagneticness and the triangulating occurs does not hold. sent4: the rip occurs if the wiring occurs. sent5: if the diamagneticness does not occur then both the forecasting rhinestone and the wiring occurs. ; $proof$ = 
void -> assump1: Let's assume that the wiring occurs.; sent4 & assump1 -> int1: the rip happens.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the wiring does not occur.; __UNKNOWN__