that the fact that the sickle is either not a choc-ice or mammalian or both is not true is not false.
sent1: the rosebud is nosohusial. sent2: the fact that either the minefield is not a kind of a step or it does wheedle or both is false. sent3: that the sickle wheedles is not incorrect if that the rosebud is not a kind of a Schlesinger hold. sent4: if something wheedles then that it is not a choc-ice or it is mammalian or both is not true. sent5: something is non-nosohusial if that either it is not a Cnemidophorus or it is not a Schlesinger or both does not hold. sent6: the sickle does wheedle if the rosebud is not a Cnemidophorus. sent7: the fact that something is a kind of non-nosohusial thing that does wheedle is correct if it is not a kind of a boost.
sent5 -> int1: if the fact that either the rosebud is not a kind of a Cnemidophorus or it is not a Schlesinger or both is incorrect it is not nosohusial.; void -> assump1: Let's assume that the fact that either the rosebud is not a Cnemidophorus or it is not a Schlesinger or both is wrong.; int1 & assump1 -> int2: the rosebud is not nosohusial.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rosebud is not a Cnemidophorus and/or it is not a Schlesinger.; int4 & sent6 & sent3 -> int5: the sickle does wheedle.; sent4 -> int6: the fact that the sickle is not a choc-ice and/or is mammalian is not correct if the fact that it does wheedle is right.; int5 & int6 -> hypothesis;
either the sickle is not a kind of a choc-ice or it is mammalian or both.
sent7 -> int7: the albumin is non-nosohusial thing that wheedles if it is not a boost.;
$hypothesis$ = that the fact that the sickle is either not a choc-ice or mammalian or both is not true is not false. ; $context$ = sent1: the rosebud is nosohusial. sent2: the fact that either the minefield is not a kind of a step or it does wheedle or both is false. sent3: that the sickle wheedles is not incorrect if that the rosebud is not a kind of a Schlesinger hold. sent4: if something wheedles then that it is not a choc-ice or it is mammalian or both is not true. sent5: something is non-nosohusial if that either it is not a Cnemidophorus or it is not a Schlesinger or both does not hold. sent6: the sickle does wheedle if the rosebud is not a Cnemidophorus. sent7: the fact that something is a kind of non-nosohusial thing that does wheedle is correct if it is not a kind of a boost. ; $proof$ = 
sent5 -> int1: if the fact that either the rosebud is not a kind of a Cnemidophorus or it is not a Schlesinger or both is incorrect it is not nosohusial.; void -> assump1: Let's assume that the fact that either the rosebud is not a Cnemidophorus or it is not a Schlesinger or both is wrong.; int1 & assump1 -> int2: the rosebud is not nosohusial.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: the rosebud is not a Cnemidophorus and/or it is not a Schlesinger.; int4 & sent6 & sent3 -> int5: the sickle does wheedle.; sent4 -> int6: the fact that the sickle is not a choc-ice and/or is mammalian is not correct if the fact that it does wheedle is right.; int5 & int6 -> hypothesis; __PROVED__