the heterometabolism does not caucus centriole.
sent1: the heterometabolism is not non-Tanzanian if the angwantibo does caucus centriole. sent2: if the angwantibo is Tanzanian the heterometabolism does caucus centriole. sent3: the heterometabolism caucuses Astragalus. sent4: the works caucuses centriole. sent5: that the bollock does caucus captivation is not false. sent6: the heterometabolism does caucus captivation. sent7: the bollock does not caucus centriole. sent8: the bollock does not caucus captivation if the angwantibo is not a Tanzanian. sent9: That the captivation does caucus bollock is not false.
void -> assump1: Let's assume that the angwantibo is not a kind of a Tanzanian.; sent8 & assump1 -> int1: the bollock does not caucus captivation.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the angwantibo is Tanzanian is not incorrect.; int3 & sent2 -> hypothesis;
$hypothesis$ = the heterometabolism does not caucus centriole. ; $context$ = sent1: the heterometabolism is not non-Tanzanian if the angwantibo does caucus centriole. sent2: if the angwantibo is Tanzanian the heterometabolism does caucus centriole. sent3: the heterometabolism caucuses Astragalus. sent4: the works caucuses centriole. sent5: that the bollock does caucus captivation is not false. sent6: the heterometabolism does caucus captivation. sent7: the bollock does not caucus centriole. sent8: the bollock does not caucus captivation if the angwantibo is not a Tanzanian. sent9: That the captivation does caucus bollock is not false. ; $proof$ = 
void -> assump1: Let's assume that the angwantibo is not a kind of a Tanzanian.; sent8 & assump1 -> int1: the bollock does not caucus captivation.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the angwantibo is Tanzanian is not incorrect.; int3 & sent2 -> hypothesis; __DISPROVED__