that the choragicness and the grasping dale occurs is not true.
sent1: that the cash-and-carriness and the pearling occurs is incorrect. sent2: the choragicness happens if the aroidness does not occur. sent3: the Argentineness does not occur if the fact that the cash-and-carriness happens and the pearl happens does not hold. sent4: the aroidness does not occur if the fact that the ogling electrode happens or the subtilizing Australian does not occur or both is not correct. sent5: that the subtilizing Australian does not occur results in the Argentineness. sent6: if the ogling velodrome does not occur the grasping dale happens and the otoplasty occurs. sent7: the ogling velodrome does not occur. sent8: if the ogling electrode happens the Argentineness happens.
void -> assump1: Let's assume that that either the ogling electrode happens or the subtilizing Australian does not occur or both hold.; assump1 & sent8 & sent5 -> int1: the Argentineness occurs.; sent3 & sent1 -> int2: the Argentineness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the ogling electrode happens or the subtilizing Australian does not occur or both is not correct.; int4 & sent4 -> int5: the aroidness does not occur.; int5 & sent2 -> int6: the choragicness happens.; sent6 & sent7 -> int7: both the grasping dale and the otoplasty happens.; int7 -> int8: the grasping dale occurs.; int6 & int8 -> hypothesis;
$hypothesis$ = that the choragicness and the grasping dale occurs is not true. ; $context$ = sent1: that the cash-and-carriness and the pearling occurs is incorrect. sent2: the choragicness happens if the aroidness does not occur. sent3: the Argentineness does not occur if the fact that the cash-and-carriness happens and the pearl happens does not hold. sent4: the aroidness does not occur if the fact that the ogling electrode happens or the subtilizing Australian does not occur or both is not correct. sent5: that the subtilizing Australian does not occur results in the Argentineness. sent6: if the ogling velodrome does not occur the grasping dale happens and the otoplasty occurs. sent7: the ogling velodrome does not occur. sent8: if the ogling electrode happens the Argentineness happens. ; $proof$ = 
void -> assump1: Let's assume that that either the ogling electrode happens or the subtilizing Australian does not occur or both hold.; assump1 & sent8 & sent5 -> int1: the Argentineness occurs.; sent3 & sent1 -> int2: the Argentineness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the ogling electrode happens or the subtilizing Australian does not occur or both is not correct.; int4 & sent4 -> int5: the aroidness does not occur.; int5 & sent2 -> int6: the choragicness happens.; sent6 & sent7 -> int7: both the grasping dale and the otoplasty happens.; int7 -> int8: the grasping dale occurs.; int6 & int8 -> hypothesis; __DISPROVED__