the unquietness happens.
sent1: the retention happens if the unquietness happens. sent2: the exteriorness does not occur. sent3: the homesteading dish occurs. sent4: the ridicule causes that either the class does not occur or the retention occurs or both. sent5: the retention happens. sent6: if the unquietness happens that the class does not occur or the retention does not occur or both is incorrect. sent7: the non-choricness and/or the non-corinthianness happens. sent8: that the class does not occur and/or that the retention does not occur is triggered by that the ridicule occurs. sent9: the ridiculing happens. sent10: the associateship does not occur and/or the possessiveness does not occur if the inguinalness happens. sent11: the class does not occur and/or the retention occurs. sent12: the homesteading Plymouth happens.
void -> assump1: Let's assume that the fact that the unquietness happens is right.; sent6 & assump1 -> int1: that the class does not occur or the retention does not occur or both is not correct.; sent8 & sent9 -> int2: the class does not occur and/or the retention does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the unquietness happens. ; $context$ = sent1: the retention happens if the unquietness happens. sent2: the exteriorness does not occur. sent3: the homesteading dish occurs. sent4: the ridicule causes that either the class does not occur or the retention occurs or both. sent5: the retention happens. sent6: if the unquietness happens that the class does not occur or the retention does not occur or both is incorrect. sent7: the non-choricness and/or the non-corinthianness happens. sent8: that the class does not occur and/or that the retention does not occur is triggered by that the ridicule occurs. sent9: the ridiculing happens. sent10: the associateship does not occur and/or the possessiveness does not occur if the inguinalness happens. sent11: the class does not occur and/or the retention occurs. sent12: the homesteading Plymouth happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the unquietness happens is right.; sent6 & assump1 -> int1: that the class does not occur or the retention does not occur or both is not correct.; sent8 & sent9 -> int2: the class does not occur and/or the retention does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__