if the plot does lace curacy then the canaliculus is Voltarian.
sent1: the plot is Voltarian if that the Chapman laces curacy is not false. sent2: if the canaliculus does lace curacy then the plot is Voltarian. sent3: the canaliculus does lace curacy. sent4: the canaliculus is Voltarian if the Chapman laces Kenyapithecus. sent5: the plot does lace Kenyapithecus. sent6: the Chapman does lace curacy. sent7: if the Chapman is Voltarian then the plot laces curacy. sent8: the plot does lace Kenyapithecus if the Chapman does lace curacy. sent9: if that the plot does lace Kenyapithecus is not wrong then the Chapman laces curacy. sent10: the fact that the canaliculus laces curacy is right if the plot is Voltarian. sent11: the Chapman is Voltarian if the canaliculus laces curacy. sent12: if the canaliculus does lace Kenyapithecus then the Chapman is Voltarian. sent13: the canaliculus is a Romansh. sent14: if the plot laces curacy the Chapman laces Kenyapithecus. sent15: if the Chapman is Voltarian the canaliculus does lace Kenyapithecus. sent16: the plot is Voltarian if the canaliculus laces Kenyapithecus.
void -> assump1: Let's assume that the plot does lace curacy.; sent14 & assump1 -> int1: the Chapman does lace Kenyapithecus.; sent4 & int1 -> int2: the canaliculus is Voltarian.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the plot does lace curacy then the canaliculus is Voltarian. ; $context$ = sent1: the plot is Voltarian if that the Chapman laces curacy is not false. sent2: if the canaliculus does lace curacy then the plot is Voltarian. sent3: the canaliculus does lace curacy. sent4: the canaliculus is Voltarian if the Chapman laces Kenyapithecus. sent5: the plot does lace Kenyapithecus. sent6: the Chapman does lace curacy. sent7: if the Chapman is Voltarian then the plot laces curacy. sent8: the plot does lace Kenyapithecus if the Chapman does lace curacy. sent9: if that the plot does lace Kenyapithecus is not wrong then the Chapman laces curacy. sent10: the fact that the canaliculus laces curacy is right if the plot is Voltarian. sent11: the Chapman is Voltarian if the canaliculus laces curacy. sent12: if the canaliculus does lace Kenyapithecus then the Chapman is Voltarian. sent13: the canaliculus is a Romansh. sent14: if the plot laces curacy the Chapman laces Kenyapithecus. sent15: if the Chapman is Voltarian the canaliculus does lace Kenyapithecus. sent16: the plot is Voltarian if the canaliculus laces Kenyapithecus. ; $proof$ = 
void -> assump1: Let's assume that the plot does lace curacy.; sent14 & assump1 -> int1: the Chapman does lace Kenyapithecus.; sent4 & int1 -> int2: the canaliculus is Voltarian.; [assump1] & int2 -> hypothesis; __PROVED__