the retractor is dialectal.
sent1: the retractor is not non-dialectal if there is something such that it stretches and/or it strengthens classroom. sent2: the perennial is actable. sent3: if the perennial is a kind of a mucopolysaccharide the fact that the attache is a kind of a stretching is right. sent4: if there exists something such that that it does not disentangle software and it is not unactable is incorrect then the fact that the personage is not a footlocker is correct. sent5: that the fallout does not disentangle software and is actable does not hold. sent6: the perennial is a kind of a mucopolysaccharide and strengthens Kimberley if the personage is not a footlocker.
sent5 -> int1: there exists something such that that it does not disentangle software and is actable does not hold.; int1 & sent4 -> int2: the personage is not a footlocker.; sent6 & int2 -> int3: the perennial is a kind of a mucopolysaccharide and does strengthen Kimberley.; int3 -> int4: the perennial is a kind of a mucopolysaccharide.; sent3 & int4 -> int5: the attache is a kind of a stretching.; int5 -> int6: the attache is a kind of a stretching and/or strengthens classroom.; int6 -> int7: there is something such that either it stretches or it strengthens classroom or both.; int7 & sent1 -> hypothesis;
$hypothesis$ = the retractor is dialectal. ; $context$ = sent1: the retractor is not non-dialectal if there is something such that it stretches and/or it strengthens classroom. sent2: the perennial is actable. sent3: if the perennial is a kind of a mucopolysaccharide the fact that the attache is a kind of a stretching is right. sent4: if there exists something such that that it does not disentangle software and it is not unactable is incorrect then the fact that the personage is not a footlocker is correct. sent5: that the fallout does not disentangle software and is actable does not hold. sent6: the perennial is a kind of a mucopolysaccharide and strengthens Kimberley if the personage is not a footlocker. ; $proof$ = 
sent5 -> int1: there exists something such that that it does not disentangle software and is actable does not hold.; int1 & sent4 -> int2: the personage is not a footlocker.; sent6 & int2 -> int3: the perennial is a kind of a mucopolysaccharide and does strengthen Kimberley.; int3 -> int4: the perennial is a kind of a mucopolysaccharide.; sent3 & int4 -> int5: the attache is a kind of a stretching.; int5 -> int6: the attache is a kind of a stretching and/or strengthens classroom.; int6 -> int7: there is something such that either it stretches or it strengthens classroom or both.; int7 & sent1 -> hypothesis; __PROVED__