the AFP is a silverwork and/or is not a kind of a faithful.
sent1: the pinhole is not a semiconductor. sent2: something is high-interest or it is not a boorishness or both if it is not a faithful. sent3: if the pinhole inhales magus then the bastinado fires. sent4: the AFP is not a faithful but it is high-interest. sent5: if the pinhole is not a kind of a semiconductor then it does inhale magus or is a fire or both.
sent4 -> int1: the AFP is not a kind of a faithful.; int1 -> hypothesis;
the millenarian is high-interest and/or it is not a kind of a boorishness.
sent2 -> int2: if the fact that the millenarian is not a faithful is not false the fact that it is high-interest and/or it is not a boorishness hold.;
$hypothesis$ = the AFP is a silverwork and/or is not a kind of a faithful. ; $context$ = sent1: the pinhole is not a semiconductor. sent2: something is high-interest or it is not a boorishness or both if it is not a faithful. sent3: if the pinhole inhales magus then the bastinado fires. sent4: the AFP is not a faithful but it is high-interest. sent5: if the pinhole is not a kind of a semiconductor then it does inhale magus or is a fire or both. ; $proof$ = 
sent4 -> int1: the AFP is not a kind of a faithful.; int1 -> hypothesis; __PROVED__