the rhombicness does not occur if the basking does not occur.
sent1: if the basking happens then the rhombicness does not occur. sent2: if that the basking occurs is correct then that both the downness and the rustling groomed occurs is not true. sent3: the treatment does not occur. sent4: if the fact that the welding subconscious happens and the purchase happens is not true then the anchorage does not occur. sent5: the suicide occurs. sent6: if the downness does not occur then the rhombicness does not occur. sent7: the fornicating does not occur. sent8: the rhombicness happens if the basking does not occur. sent9: the defense does not occur if that the welding carport and the destaining tribologist occurs does not hold. sent10: the training does not occur. sent11: if that both the down and the rustling groomed happens is false then that the rhombicness does not occur is not incorrect. sent12: if the duplicity does not occur the Washingtonianness does not occur. sent13: that both the welding Arthur and the robbing happens is not right. sent14: if the toxicologicalness does not occur then the gainer does not occur. sent15: the fact that the training happens and the crenelation occurs is not true. sent16: that the uninstructiveness occurs and the localness occurs is not correct. sent17: the fact that the downness and the rustling groomed happens is wrong if the basking does not occur. sent18: that the suggestion does not occur is not incorrect.
void -> assump1: Let's assume that the basking does not occur.; sent17 & assump1 -> int1: that both the down and the rustling groomed happens does not hold.; sent11 & int1 -> int2: the rhombicness does not occur.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the rhombicness does not occur if the basking does not occur. ; $context$ = sent1: if the basking happens then the rhombicness does not occur. sent2: if that the basking occurs is correct then that both the downness and the rustling groomed occurs is not true. sent3: the treatment does not occur. sent4: if the fact that the welding subconscious happens and the purchase happens is not true then the anchorage does not occur. sent5: the suicide occurs. sent6: if the downness does not occur then the rhombicness does not occur. sent7: the fornicating does not occur. sent8: the rhombicness happens if the basking does not occur. sent9: the defense does not occur if that the welding carport and the destaining tribologist occurs does not hold. sent10: the training does not occur. sent11: if that both the down and the rustling groomed happens is false then that the rhombicness does not occur is not incorrect. sent12: if the duplicity does not occur the Washingtonianness does not occur. sent13: that both the welding Arthur and the robbing happens is not right. sent14: if the toxicologicalness does not occur then the gainer does not occur. sent15: the fact that the training happens and the crenelation occurs is not true. sent16: that the uninstructiveness occurs and the localness occurs is not correct. sent17: the fact that the downness and the rustling groomed happens is wrong if the basking does not occur. sent18: that the suggestion does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the basking does not occur.; sent17 & assump1 -> int1: that both the down and the rustling groomed happens does not hold.; sent11 & int1 -> int2: the rhombicness does not occur.; [assump1] & int2 -> hypothesis; __PROVED__