the taxonomist is not unavailable.
sent1: if the goatherd is hircine then the acrosome is not ultramontane or it does not anglicise Lutheranism or both. sent2: something is diluvian if the fact that either it is not a gemsbok or it is not a spark or both is incorrect. sent3: there exists something such that it is a Apidae. sent4: if the taxonomist does anglicise Lutheranism the fact that it is a kind of a ultramontane is not false. sent5: the goatherd is hircine if it is diluvian. sent6: if the fact that the acrosome is not ultramontane is not wrong the taxonomist is not unavailable. sent7: something is unavailable if the fact that it is hircine hold. sent8: if something does spark that it is not anosmic is false. sent9: there is nothing such that it is either not a gemsbok or not a spark or both. sent10: if something is a kind of a ultramontane it is diluvian.
sent2 -> int1: the goatherd is diluvian if the fact that either it is not a gemsbok or it is not a kind of a spark or both is not correct.; sent9 -> int2: that the goatherd is not a kind of a gemsbok or is not a kind of a spark or both is false.; int1 & int2 -> int3: the goatherd is diluvian.; int3 & sent5 -> int4: the goatherd is hircine.; int4 & sent1 -> int5: the acrosome is not ultramontane or it does not anglicise Lutheranism or both.;
the taxonomist is unavailable.
sent7 -> int6: the taxonomist is unavailable if it is hircine.; sent10 -> int7: the taxonomist is diluvian if that it is ultramontane is correct.;
$hypothesis$ = the taxonomist is not unavailable. ; $context$ = sent1: if the goatherd is hircine then the acrosome is not ultramontane or it does not anglicise Lutheranism or both. sent2: something is diluvian if the fact that either it is not a gemsbok or it is not a spark or both is incorrect. sent3: there exists something such that it is a Apidae. sent4: if the taxonomist does anglicise Lutheranism the fact that it is a kind of a ultramontane is not false. sent5: the goatherd is hircine if it is diluvian. sent6: if the fact that the acrosome is not ultramontane is not wrong the taxonomist is not unavailable. sent7: something is unavailable if the fact that it is hircine hold. sent8: if something does spark that it is not anosmic is false. sent9: there is nothing such that it is either not a gemsbok or not a spark or both. sent10: if something is a kind of a ultramontane it is diluvian. ; $proof$ = 
sent2 -> int1: the goatherd is diluvian if the fact that either it is not a gemsbok or it is not a kind of a spark or both is not correct.; sent9 -> int2: that the goatherd is not a kind of a gemsbok or is not a kind of a spark or both is false.; int1 & int2 -> int3: the goatherd is diluvian.; int3 & sent5 -> int4: the goatherd is hircine.; int4 & sent1 -> int5: the acrosome is not ultramontane or it does not anglicise Lutheranism or both.; __UNKNOWN__