that the glycoprotein is not a Frankfort but it is a Rosicrucianism is wrong.
sent1: the glycoprotein is not a Coca. sent2: the glycoprotein is not a Demotic. sent3: that the levanter is not a kind of a cabin is not wrong if it is monistic. sent4: if that the glycoprotein is not a Frankfort but it is a Rosicrucianism does not hold then it is not a calabash. sent5: if the tamer is not a Pseudocolus and is not a water-rate then the glycoprotein is a water-rate. sent6: the Cree is non-time-release thing that is a Reid. sent7: the violator does not harry thyroprotein and is a presbyope. sent8: everything is a calabash. sent9: the bordelaise is a kind of a Rosicrucianism. sent10: the glycoprotein is not a Opisthocomus. sent11: the glycoprotein does frequent.
void -> assump1: Let's assume that the fact that the glycoprotein is both not a Frankfort and a Rosicrucianism does not hold.; sent4 & assump1 -> int1: the glycoprotein is not a calabash.; sent8 -> int2: the fact that the glycoprotein is a kind of a calabash is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the fact that the gametophore does not reissue Squatinidae but it is a calabash does not hold.
$hypothesis$ = that the glycoprotein is not a Frankfort but it is a Rosicrucianism is wrong. ; $context$ = sent1: the glycoprotein is not a Coca. sent2: the glycoprotein is not a Demotic. sent3: that the levanter is not a kind of a cabin is not wrong if it is monistic. sent4: if that the glycoprotein is not a Frankfort but it is a Rosicrucianism does not hold then it is not a calabash. sent5: if the tamer is not a Pseudocolus and is not a water-rate then the glycoprotein is a water-rate. sent6: the Cree is non-time-release thing that is a Reid. sent7: the violator does not harry thyroprotein and is a presbyope. sent8: everything is a calabash. sent9: the bordelaise is a kind of a Rosicrucianism. sent10: the glycoprotein is not a Opisthocomus. sent11: the glycoprotein does frequent. ; $proof$ = 
void -> assump1: Let's assume that the fact that the glycoprotein is both not a Frankfort and a Rosicrucianism does not hold.; sent4 & assump1 -> int1: the glycoprotein is not a calabash.; sent8 -> int2: the fact that the glycoprotein is a kind of a calabash is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__