the chelonian is not a smegma.
sent1: the hatpin is not a searching if the rough is regenerate thing that does not hunger Fossa. sent2: that the hatpin is not an adrenal and does not hunger sisterhood does not hold. sent3: if the fact that the hatpin is not an adrenal and it does not hunger sisterhood is not true then the fact that it does not orchestrate knee is correct. sent4: that that the sandbox does not orchestrate knee and is not geographic is not correct if the Oklahoman is non-calciferous is correct. sent5: something is not a searching if the fact that it is a kind of non-geographic a searching is not correct. sent6: the hatpin does search. sent7: if the fact that the rough regenerates but it does not hunger Fossa is not true then the Oklahoman is non-calciferous. sent8: the chelonian is not a smegma if there is something such that the fact that it does not orchestrate knee and is not geographic is not right.
void -> assump1: Let's assume that the rough regenerates and does not hunger Fossa.; sent1 & assump1 -> int1: that the hatpin is not a searching is true.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the rough is regenerate thing that does not hunger Fossa is not true.; int3 & sent7 -> int4: the Oklahoman is not calciferous.; int4 & sent4 -> int5: that the fact that the sandbox does not orchestrate knee and it is not geographic is right is not correct.; int5 -> int6: there exists something such that that it does not orchestrate knee and it is not geographic is false.; int6 & sent8 -> hypothesis;
that the chelonian is a smegma is right.
sent5 -> int7: the rough does not search if that it is not geographic and search is wrong.; sent3 & sent2 -> int8: that the hatpin does not orchestrate knee is not false.; int8 -> int9: there exists something such that it does not orchestrate knee.;
$hypothesis$ = the chelonian is not a smegma. ; $context$ = sent1: the hatpin is not a searching if the rough is regenerate thing that does not hunger Fossa. sent2: that the hatpin is not an adrenal and does not hunger sisterhood does not hold. sent3: if the fact that the hatpin is not an adrenal and it does not hunger sisterhood is not true then the fact that it does not orchestrate knee is correct. sent4: that that the sandbox does not orchestrate knee and is not geographic is not correct if the Oklahoman is non-calciferous is correct. sent5: something is not a searching if the fact that it is a kind of non-geographic a searching is not correct. sent6: the hatpin does search. sent7: if the fact that the rough regenerates but it does not hunger Fossa is not true then the Oklahoman is non-calciferous. sent8: the chelonian is not a smegma if there is something such that the fact that it does not orchestrate knee and is not geographic is not right. ; $proof$ = 
void -> assump1: Let's assume that the rough regenerates and does not hunger Fossa.; sent1 & assump1 -> int1: that the hatpin is not a searching is true.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the rough is regenerate thing that does not hunger Fossa is not true.; int3 & sent7 -> int4: the Oklahoman is not calciferous.; int4 & sent4 -> int5: that the fact that the sandbox does not orchestrate knee and it is not geographic is right is not correct.; int5 -> int6: there exists something such that that it does not orchestrate knee and it is not geographic is false.; int6 & sent8 -> hypothesis; __PROVED__