the apiary is not a stereo.
sent1: there exists something such that the fact that it does hurt and it is a tarsus is false. sent2: the gymnast does not upload and it is not a stereo. sent3: the apiary is a kind of a stereo if the gymnast is a kind of a stereo. sent4: that the sapwood is a Jong that is not playable is not right if the fact that it is not a tarsus is right. sent5: the gymnast is a trembles.
void -> assump1: Let's assume that the gymnast does not tremble and does not upload.; assump1 -> int1: the gymnast is not a trembles.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the gymnast does not tremble and does not upload is not true.; int3 -> int4: there is something such that that the fact that it is not a trembles and does not upload is not incorrect is false.;
the apiary is a stereo.
$hypothesis$ = the apiary is not a stereo. ; $context$ = sent1: there exists something such that the fact that it does hurt and it is a tarsus is false. sent2: the gymnast does not upload and it is not a stereo. sent3: the apiary is a kind of a stereo if the gymnast is a kind of a stereo. sent4: that the sapwood is a Jong that is not playable is not right if the fact that it is not a tarsus is right. sent5: the gymnast is a trembles. ; $proof$ = 
void -> assump1: Let's assume that the gymnast does not tremble and does not upload.; assump1 -> int1: the gymnast is not a trembles.; sent5 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the gymnast does not tremble and does not upload is not true.; int3 -> int4: there is something such that that the fact that it is not a trembles and does not upload is not incorrect is false.; __UNKNOWN__