that the krypton is not a alpha-interferon hold.
sent1: the krypton is not a alpha-interferon if the fact that the fact that the binary is a kind of a aphanite and/or is not a kind of a public is not correct is true. sent2: something does not imbibe. sent3: if the board synthesizes reservation and does not mellow preposition it does not mellow stratus. sent4: the board styles automatic and it mellows stratus. sent5: if something does not mellow stratus then it is a public. sent6: if something is a alpha-interferon then it does not mellow stratus and is diligent. sent7: that the binary is a aphanite and/or it is not public is false if the board is not a public. sent8: something is not a kind of a public if that it synthesizes reservation and does not mellow preposition does not hold.
void -> assump1: Let's assume that the board synthesizes reservation and does not mellow preposition.; sent3 & assump1 -> int1: the fact that the board does not mellow stratus is not incorrect.; sent4 -> int2: the board does mellow stratus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that that the board does synthesize reservation but it does not mellow preposition hold is not correct.; sent8 -> int5: if the fact that the board does synthesize reservation and does not mellow preposition is not correct then the fact that it is not a kind of a public is correct.; int4 & int5 -> int6: that the board is a public is not true.; int6 & sent7 -> int7: that the binary is a aphanite and/or it is not public is not true.; int7 & sent1 -> hypothesis;
the Lubavitcher is diligent and it is a kind of a aphanite.
sent6 -> int8: if the board is a kind of a alpha-interferon then it does not mellow stratus and is diligent.;
$hypothesis$ = that the krypton is not a alpha-interferon hold. ; $context$ = sent1: the krypton is not a alpha-interferon if the fact that the fact that the binary is a kind of a aphanite and/or is not a kind of a public is not correct is true. sent2: something does not imbibe. sent3: if the board synthesizes reservation and does not mellow preposition it does not mellow stratus. sent4: the board styles automatic and it mellows stratus. sent5: if something does not mellow stratus then it is a public. sent6: if something is a alpha-interferon then it does not mellow stratus and is diligent. sent7: that the binary is a aphanite and/or it is not public is false if the board is not a public. sent8: something is not a kind of a public if that it synthesizes reservation and does not mellow preposition does not hold. ; $proof$ = 
void -> assump1: Let's assume that the board synthesizes reservation and does not mellow preposition.; sent3 & assump1 -> int1: the fact that the board does not mellow stratus is not incorrect.; sent4 -> int2: the board does mellow stratus.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that that the board does synthesize reservation but it does not mellow preposition hold is not correct.; sent8 -> int5: if the fact that the board does synthesize reservation and does not mellow preposition is not correct then the fact that it is not a kind of a public is correct.; int4 & int5 -> int6: that the board is a public is not true.; int6 & sent7 -> int7: that the binary is a aphanite and/or it is not public is not true.; int7 & sent1 -> hypothesis; __PROVED__