the psychophysicist is a kind of a dotard.
sent1: the sapphire is a kind of a dotard. sent2: everything does not feminize. sent3: the psychophysicist is a purist if it is a bolt-hole. sent4: that the psychophysicist is a bolt-hole and it is a kind of a dotard is false. sent5: if that the psychophysicist is not a kind of a bolt-hole but it is a dotard is not true then it is a purist. sent6: the psychophysicist is not a kind of a bolt-hole. sent7: the psychophysicist is not a singles.
void -> assump1: Let's assume that the fact that the psychophysicist is not a bolt-hole but it is a kind of a dotard is not right.; sent5 & assump1 -> int1: the psychophysicist is a kind of a purist.;
the epistemologist is a dotard.
sent2 -> int2: the videotape does not feminize.;
$hypothesis$ = the psychophysicist is a kind of a dotard. ; $context$ = sent1: the sapphire is a kind of a dotard. sent2: everything does not feminize. sent3: the psychophysicist is a purist if it is a bolt-hole. sent4: that the psychophysicist is a bolt-hole and it is a kind of a dotard is false. sent5: if that the psychophysicist is not a kind of a bolt-hole but it is a dotard is not true then it is a purist. sent6: the psychophysicist is not a kind of a bolt-hole. sent7: the psychophysicist is not a singles. ; $proof$ = 
void -> assump1: Let's assume that the fact that the psychophysicist is not a bolt-hole but it is a kind of a dotard is not right.; sent5 & assump1 -> int1: the psychophysicist is a kind of a purist.; __UNKNOWN__