if the lockstep happens the fact that either the cambering paregmenon does not occur or the artlessness does not occur or both is not correct.
sent1: that the gearing teaser happens and the lockstep happens triggers that the prejudicing Coward does not occur. sent2: that the gearing teaser does not occur and the backgrounding occurs is not right if the rotating xi occurs. sent3: if the prejudicing Coward does not occur the fact that the cambering paregmenon does not occur and/or the artlessness does not occur is false. sent4: the fact that not the discrimination but the movie occurs is not right. sent5: the rotating xi and the nonmetamorphicness happens. sent6: the backgrounding and the rotating schemer happens. sent7: that the rotating schemer does not occur triggers that the class occurs but the backgrounding does not occur. sent8: if the cambering paregmenon does not occur then that the prejudicing Coward and the artlessness happens is not incorrect.
sent6 -> int1: the backgrounding occurs.; void -> assump2: Let's assume that the gearing teaser does not occur.; int1 & assump2 -> int2: the gearing teaser does not occur and the background happens.; sent5 -> int3: the rotating xi happens.; sent2 & int3 -> int4: the fact that the gearing teaser does not occur but the background happens is not correct.; int2 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the gearing teaser happens.; void -> assump1: Let's assume that the lockstep occurs.; int6 & assump1 -> int7: the gearing teaser and the lockstep occurs.; int7 & sent1 -> int8: the prejudicing Coward does not occur.; int8 & sent3 -> int9: the fact that either the cambering paregmenon does not occur or the artlessness does not occur or both does not hold.; [assump1] & int9 -> hypothesis;
the class happens.
$hypothesis$ = if the lockstep happens the fact that either the cambering paregmenon does not occur or the artlessness does not occur or both is not correct. ; $context$ = sent1: that the gearing teaser happens and the lockstep happens triggers that the prejudicing Coward does not occur. sent2: that the gearing teaser does not occur and the backgrounding occurs is not right if the rotating xi occurs. sent3: if the prejudicing Coward does not occur the fact that the cambering paregmenon does not occur and/or the artlessness does not occur is false. sent4: the fact that not the discrimination but the movie occurs is not right. sent5: the rotating xi and the nonmetamorphicness happens. sent6: the backgrounding and the rotating schemer happens. sent7: that the rotating schemer does not occur triggers that the class occurs but the backgrounding does not occur. sent8: if the cambering paregmenon does not occur then that the prejudicing Coward and the artlessness happens is not incorrect. ; $proof$ = 
sent6 -> int1: the backgrounding occurs.; void -> assump2: Let's assume that the gearing teaser does not occur.; int1 & assump2 -> int2: the gearing teaser does not occur and the background happens.; sent5 -> int3: the rotating xi happens.; sent2 & int3 -> int4: the fact that the gearing teaser does not occur but the background happens is not correct.; int2 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the gearing teaser happens.; void -> assump1: Let's assume that the lockstep occurs.; int6 & assump1 -> int7: the gearing teaser and the lockstep occurs.; int7 & sent1 -> int8: the prejudicing Coward does not occur.; int8 & sent3 -> int9: the fact that either the cambering paregmenon does not occur or the artlessness does not occur or both does not hold.; [assump1] & int9 -> hypothesis; __PROVED__