the gee-gee is not nonsignificant and not a Ticino.
sent1: that the gee-gee is a Jeffersonian but it is not a kind of a imide is false. sent2: everything is stereoscopic. sent3: the gee-gee is a imide. sent4: the fact that if something is stereoscopic that it is not a Santalum and it does not enter does not hold is true. sent5: if that the gee-gee is not nonsignificant and is not a Ticino is not correct then the fact that it is not a Santalum is right. sent6: the fact that the gee-gee is significant and it is not a Ticino is false if the internode is a kind of a imide. sent7: the elephant-tusk is a Santalum. sent8: if something is not a kind of a imide it does not usher estivation and it is not nonsignificant. sent9: the chewink is not a kind of a skidder and it is not a Ticino. sent10: if the gee-gee is a imide it is a Santalum.
void -> assump1: Let's assume that the fact that the gee-gee is not nonsignificant and it is not a Ticino is not right.; sent5 & assump1 -> int1: the gee-gee is not a kind of a Santalum.; sent10 & sent3 -> int2: the gee-gee is a Santalum.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Chardonnay does not usher estivation and is not nonsignificant.
sent4 -> int4: the fact that the internode is not a Santalum and it does not enter is false if it is stereoscopic.; sent2 -> int5: the internode is stereoscopic.; int4 & int5 -> int6: that the internode is not a Santalum and it does not enter is not true.; int6 -> int7: there is nothing such that it is not a Santalum and it does not enter.; int7 -> int8: that the gee-gee is not a Santalum and does not enter is false.; sent8 -> int9: the gee-gee does not usher estivation and it is not nonsignificant if it is not a imide.;
$hypothesis$ = the gee-gee is not nonsignificant and not a Ticino. ; $context$ = sent1: that the gee-gee is a Jeffersonian but it is not a kind of a imide is false. sent2: everything is stereoscopic. sent3: the gee-gee is a imide. sent4: the fact that if something is stereoscopic that it is not a Santalum and it does not enter does not hold is true. sent5: if that the gee-gee is not nonsignificant and is not a Ticino is not correct then the fact that it is not a Santalum is right. sent6: the fact that the gee-gee is significant and it is not a Ticino is false if the internode is a kind of a imide. sent7: the elephant-tusk is a Santalum. sent8: if something is not a kind of a imide it does not usher estivation and it is not nonsignificant. sent9: the chewink is not a kind of a skidder and it is not a Ticino. sent10: if the gee-gee is a imide it is a Santalum. ; $proof$ = 
void -> assump1: Let's assume that the fact that the gee-gee is not nonsignificant and it is not a Ticino is not right.; sent5 & assump1 -> int1: the gee-gee is not a kind of a Santalum.; sent10 & sent3 -> int2: the gee-gee is a Santalum.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__