that there is something such that if it is not a Gymnopilus and it is not defervescent then it is not representational is wrong.
sent1: the pocketknife is representational if it is not a Gymnopilus and it is not defervescent. sent2: if the pocketknife is non-representational thing that does shun scleroprotein it does not bastinado Vila. sent3: the benzylpenicillin does not shun gripe if it is not Burmese and is not defervescent. sent4: if something is a kind of non-nominalistic thing that is not a jerry-builder it is not monetary. sent5: the fact that there exists something such that if it is both not a Gymnopilus and defervescent it is not representational hold. sent6: if the pocketknife is both not a Gymnopilus and not defervescent it is not representational.
sent6 -> hypothesis;
if the convalescence is a kind of non-nominalistic thing that is not a kind of a jerry-builder it is not monetary.
sent4 -> hypothesis;
$hypothesis$ = that there is something such that if it is not a Gymnopilus and it is not defervescent then it is not representational is wrong. ; $context$ = sent1: the pocketknife is representational if it is not a Gymnopilus and it is not defervescent. sent2: if the pocketknife is non-representational thing that does shun scleroprotein it does not bastinado Vila. sent3: the benzylpenicillin does not shun gripe if it is not Burmese and is not defervescent. sent4: if something is a kind of non-nominalistic thing that is not a jerry-builder it is not monetary. sent5: the fact that there exists something such that if it is both not a Gymnopilus and defervescent it is not representational hold. sent6: if the pocketknife is both not a Gymnopilus and not defervescent it is not representational. ; $proof$ = 
sent6 -> hypothesis; __DISPROVED__