the fact that the hamstring does not numerate apishamore hold.
sent1: if the Timorese frescos the fact that the apishamore is circulatory hold. sent2: the apishamore is not circulatory if there is something such that the fact that it does distend and does bar saccade does not hold. sent3: if the apishamore frescos the Timorese is circulatory. sent4: the apishamore is non-tonsorial. sent5: if the apishamore numerates apishamore that the hamstring is circulatory is not false. sent6: there exists something such that that it does numerate apishamore and it is circulatory is wrong. sent7: there is something such that that it distends and bars saccade does not hold. sent8: there exists something such that the fact that it is circulatory thing that does numerate apishamore is incorrect. sent9: if something is not a fresco then that it does numerate apishamore is correct.
void -> assump1: Let's assume that the hamstring does numerate apishamore.; sent7 & sent2 -> int1: the apishamore is not circulatory.;
the hamstring does numerate apishamore.
sent9 -> int2: that the hamstring does numerate apishamore if the hamstring does not fresco is not wrong.;
$hypothesis$ = the fact that the hamstring does not numerate apishamore hold. ; $context$ = sent1: if the Timorese frescos the fact that the apishamore is circulatory hold. sent2: the apishamore is not circulatory if there is something such that the fact that it does distend and does bar saccade does not hold. sent3: if the apishamore frescos the Timorese is circulatory. sent4: the apishamore is non-tonsorial. sent5: if the apishamore numerates apishamore that the hamstring is circulatory is not false. sent6: there exists something such that that it does numerate apishamore and it is circulatory is wrong. sent7: there is something such that that it distends and bars saccade does not hold. sent8: there exists something such that the fact that it is circulatory thing that does numerate apishamore is incorrect. sent9: if something is not a fresco then that it does numerate apishamore is correct. ; $proof$ = 
void -> assump1: Let's assume that the hamstring does numerate apishamore.; sent7 & sent2 -> int1: the apishamore is not circulatory.; __UNKNOWN__