the fact that something is an irregular and it is a biologist does not hold.
sent1: that something is prescriptive if the fact that it does occult is correct hold. sent2: that the schorl is an occult and does not convoy fix does not hold. sent3: the schorl is a biologist if it incarnates. sent4: the schorl incarnates. sent5: there exists something such that it is an irregular. sent6: if the fact that the schorl is a kind of an occult but it does not convoy fix is wrong then it is an irregular.
sent3 & sent4 -> int1: the schorl is a biologist.; sent6 & sent2 -> int2: the schorl is an irregular.; int1 & int2 -> int3: the schorl is irregular and it is a biologist.; int3 -> hypothesis;
the apatite is prescriptive if that it occults is not false.
sent1 -> hypothesis;
$hypothesis$ = the fact that something is an irregular and it is a biologist does not hold. ; $context$ = sent1: that something is prescriptive if the fact that it does occult is correct hold. sent2: that the schorl is an occult and does not convoy fix does not hold. sent3: the schorl is a biologist if it incarnates. sent4: the schorl incarnates. sent5: there exists something such that it is an irregular. sent6: if the fact that the schorl is a kind of an occult but it does not convoy fix is wrong then it is an irregular. ; $proof$ = 
sent3 & sent4 -> int1: the schorl is a biologist.; sent6 & sent2 -> int2: the schorl is an irregular.; int1 & int2 -> int3: the schorl is irregular and it is a biologist.; int3 -> hypothesis; __DISPROVED__