the fact that the blackbeetle is psychometric hold.
sent1: the blackbeetle is not a bicycle-built-for-two. sent2: everything is not a bicycle-built-for-two. sent3: everything is not a bicycle-built-for-two but anginal. sent4: if something is not rupestral the fact that it is palpebrate and it is not psychometric does not hold. sent5: something that is not a bicycle-built-for-two but anginal is not psychometric. sent6: if the blackbeetle is both a bicycle-built-for-two and anginal it is not psychometric. sent7: if something that is a bicycle-built-for-two is anginal it is not psychometric.
sent3 -> int1: the blackbeetle is not a kind of a bicycle-built-for-two but it is anginal.; sent5 -> int2: if the blackbeetle is not a bicycle-built-for-two but it is anginal then it is not psychometric.; int1 & int2 -> hypothesis;
the blackbeetle is psychometric.
sent4 -> int3: the fact that the azoimide is both not non-palpebrate and non-psychometric is not true if it is not rupestral.;
$hypothesis$ = the fact that the blackbeetle is psychometric hold. ; $context$ = sent1: the blackbeetle is not a bicycle-built-for-two. sent2: everything is not a bicycle-built-for-two. sent3: everything is not a bicycle-built-for-two but anginal. sent4: if something is not rupestral the fact that it is palpebrate and it is not psychometric does not hold. sent5: something that is not a bicycle-built-for-two but anginal is not psychometric. sent6: if the blackbeetle is both a bicycle-built-for-two and anginal it is not psychometric. sent7: if something that is a bicycle-built-for-two is anginal it is not psychometric. ; $proof$ = 
sent3 -> int1: the blackbeetle is not a kind of a bicycle-built-for-two but it is anginal.; sent5 -> int2: if the blackbeetle is not a bicycle-built-for-two but it is anginal then it is not psychometric.; int1 & int2 -> hypothesis; __DISPROVED__