the saprophyte is not a kind of a Herbert.
sent1: the fact that the saprophyte is a Saharan hold. sent2: the fact that the flume is a kind of a Gymnocladus but it is not a kind of a crib is false if the induction is not a Gymnocladus. sent3: if that something is not a disambiguation hold that it is a kind of tectonic a Callicebus is wrong. sent4: something is a disambiguation if that it is a Callicebus and is not tectonic does not hold. sent5: the helpmate is not a Callicebus. sent6: that something is a disambiguation is not wrong if it is tectonic. sent7: the flume is not a beam and not a Callicebus. sent8: if the helpmate is a disambiguation then the induction is not a kind of a Gymnocladus and it is not a sheet. sent9: if the fact that the flume is a kind of a Gymnocladus but it does not crib is wrong the saprophyte is a kind of a Herbert. sent10: the fact that the flume is a Gymnocladus and a crib is not true.
void -> assump1: Let's assume that the helpmate is a Callicebus but it is not tectonic.; assump1 -> int1: the helpmate is a Callicebus.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the helpmate is a Callicebus and is non-tectonic does not hold.; sent4 -> int4: the helpmate is a disambiguation if the fact that it is a Callicebus but not tectonic does not hold.; int3 & int4 -> int5: the helpmate is a disambiguation.; int5 & sent8 -> int6: the induction is not a Gymnocladus and not a sheet.; int6 -> int7: the induction is not a kind of a Gymnocladus.; int7 & sent2 -> int8: that the flume is a Gymnocladus but it does not crib is not correct.; int8 & sent9 -> hypothesis;
the saprophyte is not a Herbert.
sent3 -> int9: if the helpmate is not a disambiguation then that it is a kind of tectonic thing that is a Callicebus is not right.;
$hypothesis$ = the saprophyte is not a kind of a Herbert. ; $context$ = sent1: the fact that the saprophyte is a Saharan hold. sent2: the fact that the flume is a kind of a Gymnocladus but it is not a kind of a crib is false if the induction is not a Gymnocladus. sent3: if that something is not a disambiguation hold that it is a kind of tectonic a Callicebus is wrong. sent4: something is a disambiguation if that it is a Callicebus and is not tectonic does not hold. sent5: the helpmate is not a Callicebus. sent6: that something is a disambiguation is not wrong if it is tectonic. sent7: the flume is not a beam and not a Callicebus. sent8: if the helpmate is a disambiguation then the induction is not a kind of a Gymnocladus and it is not a sheet. sent9: if the fact that the flume is a kind of a Gymnocladus but it does not crib is wrong the saprophyte is a kind of a Herbert. sent10: the fact that the flume is a Gymnocladus and a crib is not true. ; $proof$ = 
void -> assump1: Let's assume that the helpmate is a Callicebus but it is not tectonic.; assump1 -> int1: the helpmate is a Callicebus.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the helpmate is a Callicebus and is non-tectonic does not hold.; sent4 -> int4: the helpmate is a disambiguation if the fact that it is a Callicebus but not tectonic does not hold.; int3 & int4 -> int5: the helpmate is a disambiguation.; int5 & sent8 -> int6: the induction is not a Gymnocladus and not a sheet.; int6 -> int7: the induction is not a kind of a Gymnocladus.; int7 & sent2 -> int8: that the flume is a Gymnocladus but it does not crib is not correct.; int8 & sent9 -> hypothesis; __DISPROVED__