that the gyralness but not the depreciation happens is not right if the parsing lesbianism does not occur.
sent1: if the fact that the sartorialness occurs is not correct then that the malpractice and the branchiateness happens is wrong. sent2: the fact that that both the gyralness and the depreciation occurs is not right is right. sent3: if the parsing lesbianism does not occur then the fact that both the gyralness and the depreciation happens is wrong. sent4: if the analogueness does not occur then the locomotiveness and the non-traumaticness happens.
void -> assump1: Let's assume that the gyralness but not the depreciation happens.;
$hypothesis$ = that the gyralness but not the depreciation happens is not right if the parsing lesbianism does not occur. ; $context$ = sent1: if the fact that the sartorialness occurs is not correct then that the malpractice and the branchiateness happens is wrong. sent2: the fact that that both the gyralness and the depreciation occurs is not right is right. sent3: if the parsing lesbianism does not occur then the fact that both the gyralness and the depreciation happens is wrong. sent4: if the analogueness does not occur then the locomotiveness and the non-traumaticness happens. ; $proof$ = 
void -> assump1: Let's assume that the gyralness but not the depreciation happens.; __UNKNOWN__