if the canoeist does embower preciosity the thermistor does segregate quinquennium.
sent1: that the canoeist is both not uric and not a coca does not hold. sent2: something that does not segregate quinquennium embowers preciosity and is a kind of a get. sent3: if the canoeist gets then the thermistor does segregate quinquennium. sent4: if the canoeist embowers preciosity then it gets. sent5: the canoeist segregates quinquennium if the thermistor is a get. sent6: the canoeist is a coca if the fact that it is not uric and it is not a kind of a coca does not hold. sent7: if the canoeist segregates quinquennium then the thermistor embowers preciosity. sent8: if the fact that the thermistor segregates quinquennium is not wrong then it does get.
void -> assump1: Let's assume that the canoeist embowers preciosity.; sent4 & assump1 -> int1: the fact that the canoeist does get is correct.; sent3 & int1 -> int2: the thermistor does segregate quinquennium.; [assump1] & int2 -> hypothesis;
the thermistor is a get.
sent2 -> int3: the thermistor does embower preciosity and it does get if it does not segregate quinquennium.; sent6 & sent1 -> int4: the canoeist is a coca.;
$hypothesis$ = if the canoeist does embower preciosity the thermistor does segregate quinquennium. ; $context$ = sent1: that the canoeist is both not uric and not a coca does not hold. sent2: something that does not segregate quinquennium embowers preciosity and is a kind of a get. sent3: if the canoeist gets then the thermistor does segregate quinquennium. sent4: if the canoeist embowers preciosity then it gets. sent5: the canoeist segregates quinquennium if the thermistor is a get. sent6: the canoeist is a coca if the fact that it is not uric and it is not a kind of a coca does not hold. sent7: if the canoeist segregates quinquennium then the thermistor embowers preciosity. sent8: if the fact that the thermistor segregates quinquennium is not wrong then it does get. ; $proof$ = 
void -> assump1: Let's assume that the canoeist embowers preciosity.; sent4 & assump1 -> int1: the fact that the canoeist does get is correct.; sent3 & int1 -> int2: the thermistor does segregate quinquennium.; [assump1] & int2 -> hypothesis; __PROVED__