the foremother is not a perusal.
sent1: if the turnaround is a kind of a processional it is not a kleptomaniac. sent2: that the turnaround is measurable if the turnaround is maladroit hold. sent3: the fact that the turnaround is ambulacral and is not a saving is not right if it is not a kind of a processional. sent4: the turnaround is a kind of a kleptomaniac. sent5: the turnaround is maladroit if that it is ambulacral and it is not a kind of a saving is wrong. sent6: if the turnaround is measurable then the foremother is a kind of a perusal.
void -> assump1: Let's assume that the turnaround is a processional.; sent1 & assump1 -> int1: the turnaround is not a kleptomaniac.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the turnaround is not a processional.; int3 & sent3 -> int4: the fact that the turnaround is ambulacral and is not a kind of a saving is false.; int4 & sent5 -> int5: the turnaround is maladroit.; int5 & sent2 -> int6: the turnaround is measurable.; int6 & sent6 -> hypothesis;
$hypothesis$ = the foremother is not a perusal. ; $context$ = sent1: if the turnaround is a kind of a processional it is not a kleptomaniac. sent2: that the turnaround is measurable if the turnaround is maladroit hold. sent3: the fact that the turnaround is ambulacral and is not a saving is not right if it is not a kind of a processional. sent4: the turnaround is a kind of a kleptomaniac. sent5: the turnaround is maladroit if that it is ambulacral and it is not a kind of a saving is wrong. sent6: if the turnaround is measurable then the foremother is a kind of a perusal. ; $proof$ = 
void -> assump1: Let's assume that the turnaround is a processional.; sent1 & assump1 -> int1: the turnaround is not a kleptomaniac.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the turnaround is not a processional.; int3 & sent3 -> int4: the fact that the turnaround is ambulacral and is not a kind of a saving is false.; int4 & sent5 -> int5: the turnaround is maladroit.; int5 & sent2 -> int6: the turnaround is measurable.; int6 & sent6 -> hypothesis; __DISPROVED__