if the Castor is a discernment the fact that the sleeping is not Cartesian and is not a kind of a Tojo is not correct.
sent1: the Castor is not a discernment if the refrigeration does glass. sent2: if the refrigeration is not a stripe that the sleeping is Cartesian but it is not a Tojo is incorrect. sent3: if the Castor is not a discernment then that the sleeping is both not a stripe and not a Tojo is not correct. sent4: the fact that the refrigeration is a saquinavir and it is a glass is wrong. sent5: if the refrigeration is a Tojo then the sleeping does not glass. sent6: the laager is not a glass. sent7: if the fact that the refrigeration is a kind of a saquinavir but it is not a glass is not correct then the Castor is a discernment. sent8: that the refrigeration is a kind of a saquinavir but it is not a glass is not correct if it is a stripe. sent9: if that the refrigeration is a kind of a saquinavir and is not a glass does not hold then the Castor is not a discernment. sent10: if the refrigeration is not a stripe the fact that the sleeping is not Cartesian and it is not a kind of a Tojo is not right.
void -> assump1: Let's assume that that the Castor is a kind of a discernment is not incorrect.; void -> assump2: Let's assume that the refrigeration stripes.; sent8 & assump2 -> int1: that the refrigeration is a kind of a saquinavir but it is not a kind of a glass is false.; sent9 & int1 -> int2: the Castor is not a discernment.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the refrigeration is not a stripe is not wrong.; sent10 & int4 -> int5: the fact that the sleeping is not a kind of a Cartesian and it is not a Tojo does not hold.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the Castor is a discernment the fact that the sleeping is not Cartesian and is not a kind of a Tojo is not correct. ; $context$ = sent1: the Castor is not a discernment if the refrigeration does glass. sent2: if the refrigeration is not a stripe that the sleeping is Cartesian but it is not a Tojo is incorrect. sent3: if the Castor is not a discernment then that the sleeping is both not a stripe and not a Tojo is not correct. sent4: the fact that the refrigeration is a saquinavir and it is a glass is wrong. sent5: if the refrigeration is a Tojo then the sleeping does not glass. sent6: the laager is not a glass. sent7: if the fact that the refrigeration is a kind of a saquinavir but it is not a glass is not correct then the Castor is a discernment. sent8: that the refrigeration is a kind of a saquinavir but it is not a glass is not correct if it is a stripe. sent9: if that the refrigeration is a kind of a saquinavir and is not a glass does not hold then the Castor is not a discernment. sent10: if the refrigeration is not a stripe the fact that the sleeping is not Cartesian and it is not a kind of a Tojo is not right. ; $proof$ = 
void -> assump1: Let's assume that that the Castor is a kind of a discernment is not incorrect.; void -> assump2: Let's assume that the refrigeration stripes.; sent8 & assump2 -> int1: that the refrigeration is a kind of a saquinavir but it is not a kind of a glass is false.; sent9 & int1 -> int2: the Castor is not a discernment.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the refrigeration is not a stripe is not wrong.; sent10 & int4 -> int5: the fact that the sleeping is not a kind of a Cartesian and it is not a Tojo does not hold.; [assump1] & int5 -> hypothesis; __PROVED__