the self-starter does exalt store.
sent1: if something does not exalt Niobrara then that it is a back and it does not perceive rattlesnake is not correct. sent2: the self-starter exalts store if the fact that the CD-ROM is an ordination is not wrong. sent3: the orthopter does not perceive rattlesnake. sent4: the CD-ROM is an ordination if the orthopter is a liquidator. sent5: the orthopter does exalt tinning and does not exalt Niobrara if it does not sample Lodge. sent6: if the orthopter does sample Lodge then it is a kind of a liquidator. sent7: the orthopter is a kind of a back that does not perceive rattlesnake.
void -> assump1: Let's assume that the orthopter does not sample Lodge.; sent5 & assump1 -> int1: the orthopter exalts tinning but it does not exalt Niobrara.; int1 -> int2: the orthopter does not exalt Niobrara.; sent1 -> int3: if the orthopter does not exalt Niobrara the fact that it is a kind of a back and does not perceive rattlesnake does not hold.; int2 & int3 -> int4: that the orthopter is a kind of a back that does not perceive rattlesnake does not hold.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the orthopter samples Lodge.; int6 & sent6 -> int7: that the orthopter is a liquidator is correct.; int7 & sent4 -> int8: the CD-ROM is a kind of an ordination.; int8 & sent2 -> hypothesis;
$hypothesis$ = the self-starter does exalt store. ; $context$ = sent1: if something does not exalt Niobrara then that it is a back and it does not perceive rattlesnake is not correct. sent2: the self-starter exalts store if the fact that the CD-ROM is an ordination is not wrong. sent3: the orthopter does not perceive rattlesnake. sent4: the CD-ROM is an ordination if the orthopter is a liquidator. sent5: the orthopter does exalt tinning and does not exalt Niobrara if it does not sample Lodge. sent6: if the orthopter does sample Lodge then it is a kind of a liquidator. sent7: the orthopter is a kind of a back that does not perceive rattlesnake. ; $proof$ = 
void -> assump1: Let's assume that the orthopter does not sample Lodge.; sent5 & assump1 -> int1: the orthopter exalts tinning but it does not exalt Niobrara.; int1 -> int2: the orthopter does not exalt Niobrara.; sent1 -> int3: if the orthopter does not exalt Niobrara the fact that it is a kind of a back and does not perceive rattlesnake does not hold.; int2 & int3 -> int4: that the orthopter is a kind of a back that does not perceive rattlesnake does not hold.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> int6: the orthopter samples Lodge.; int6 & sent6 -> int7: that the orthopter is a liquidator is correct.; int7 & sent4 -> int8: the CD-ROM is a kind of an ordination.; int8 & sent2 -> hypothesis; __PROVED__